Hi all,
FWIW, I just [pushed] a change to fix this, along with some other
minor updates to the UI, I hope that's fine with everyone:
> First, since the dialog is now non-modal, the "OK" button does not have
> the desired meaning anymore. "Close" is more appropriate in this case -
> could you pleas
Hi Matt, Kevin, Michael, Astron ... all!
First and foremost, Matt, thank you for the extremely helpful patch ...
or (speaking as a non-developer), for the great improvement. Awesome!
I finally had some time to test it and I'd like to point out three
(mostly tiny) things...
First, since the dialo
At 12:51pm -0500 Wed, 16 Nov 2011, Astron wrote:
On 15 November 2011 19:15, Michael Meeks wrote:
:-) sounds reasonable. My only concern would be to make it
discoverable and of course performance: would we take a
per-keystroke hit there ? so perhaps having it easy-to-enable but
disabled by defaul
Hi everyone,
First of all: very nice feature indeed!
On 15 November 2011 19:15, Michael Meeks wrote:
> :-) sounds reasonable. My only concern would be to make it discoverable
> and of course performance: would we take a per-keystroke hit there ? so
> perhaps having it easy-to-enable but d
