#3718 dynamic Shortcuts (Console, PV) don't work at startup

open
nobody
5
2013-10-30
2012-06-30
Marcelo Vanzin
No

I'm not sure whether this is a bug in jEdit or Console, so starting with jEdit.

I have some shortcuts assigned to Console Commando scripts. Just for the sake of illustration, I assigned "CTRL-m a" to run the "ant" script.

When I start jEdit, that shortcut does not work. Other shortcuts work fine (e.g., in my configuration, hitting "CTRL-m s" brings ProjectViewer's search dialog just fine).

If I go into the jEdit Options dialog and just click OK, not changing anything, then the Command shortcut starts working.

I wonder if there's a race during initialization; since Commandos are a dynamic list, I wonder if jEdit is setting up the shortcuts before Console has had a chance to initialize. Or something.

Discussion

  • Alan Ezust
    Alan Ezust
    2012-08-03

    Same is true for ProjectViewer project shortcuts.
    Dynamic shortcuts only happen after the plugin is started and not when it is loaded.

     
  • Alan Ezust
    Alan Ezust
    2012-09-09

    • summary: Shortcuts to Console Commando scripts don't work at startup --> dynamic Shortcuts (Console, PV) don't work at startup
     
  • Marcelo Vanzin
    Marcelo Vanzin
    2012-09-11

    I think it's a little bit more than that. Both plugins are started - the dockables are open, I can run commands in the console window. But the dynamic shortcuts still do not work.

     
  • Patrick Eibl
    Patrick Eibl
    2012-09-29

    I ran into this issue as well. A workaround is to put this into a startup script in your home directory:

    jEdit.propertiesChanged()

    When I did this, all my shortcuts worked right after startup.

     
  • Alan Ezust
    Alan Ezust
    2013-10-30

    • labels: 102668 --> keyboard / shortcuts