Re: [ jEdit-users ] Some Windows Don't Close for Escape Key

[Vampire (jEdit) <Vam...@gm...>]

+1 for that

Besides that, the scrolling controlling behaves very strange in my 
opinion. Try up/down key while the list is not filling the whole dialog. 
Besides that, the wrapping around should maybe not done like that. 
Either a gap of some lines or a full height, or no wrapping around while 
manually controlling the scrolling should maybe happen.

Alan Ezust schrieb:
>
>
> I think for the About dialog, it would make more  sense for ENTER and 
> ESCAPE to dismiss the dialog, and for SPACE to pause the scrolling of 
> the list.
>
> --alan
>
>
> On Thu, May 20, 2010 at 4:40 AM, Shlomy Reinstein <sre...@gm... 
> <mailto:sre...@gm...>> wrote:
>
>     Hi,
>
>     Which OS and Java are you using?
>     Please note: Some time ago, I applied a patch in the 'About' dialog,
>     which enables users to control the scrolling of the names using the
>     arrow keys. That patch uses the Escape key to toggle scrolling on/off.
>     Was it used for closing the dialog before? If it was, I can change the
>     designation of the Escape key back for this dialog.
>
>     I'm on Windows XP, Sun Java 1.6.0_20, and dialogs like Plugin Manager
>     close when I click Escape.
>
>     Shlomy
>
> ------------------------------------------------------------------------
>
> ------------------------------------------------------------------------------
>
>