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

[Shlomy R. <sre...@gm...>]

I agree. I also found it strange, but I applied this patch because it
provided *some* solution for those who want to see their names which
appear at the end of the list. Ordinary users probably do not try to
use up/down in this dialog.

When I have some free time for this, I'll fix it (if no one else fixes
it before me).

Shlomy

On Wed, Jun 2, 2010 at 10:22 AM, Vampire (jEdit) <Vam...@gm...> wrote:
> +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...>
> 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
>
> ________________________________
> ------------------------------------------------------------------------------
>
>