[ jEdit-users ] (no subject)

[Carlos Q. <car...@rt...>]

Hi

I'm using jEdit for a while and I think is quite good software.
Anyway I've a suggestion. Since I usually work in WindowsNT the default
shortcuts are not equivalent to the windows' standards.

What about a option in the shortcut options dialog that make selection of
OSes such as Linux, Windows, Mac, etc and its default shortcuts are loaded.

I guess is not so difficult. If I've time I'll check how to do it myself.

If it has been already asked please forget

Regards

Carlos Quiroz