Never tried using this with jEdit. I won't mind having the Mac cursor-movement keyboard shortcuts.
Larry On 24 Sep 2013, at 22:43, Makarius <[email protected]> wrote: > How important is the canonical key sequence "COMMAND comma" as defined by > Apple? _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
