Shortcut for the context menu in the editor

Max
2012-06-23
2012-10-17
  • Max
    Max
    2012-06-23

    Hi all,

    what is the shortcut for the editor's context menu? On ubuntu (12.04 with txs
    svn 2967) the usual shortcut "Shift+F10" does not work (no context menu at
    all). On windows "Shift+F10" invokes a context menu but without suggestions of
    the spell checker.

    Best, Max

     
  • Tim Hoffmann
    Tim Hoffmann
    2012-06-24

    The missing context menu for Shift+F10 on Ubuntu appears to be a bug. With the
    context menu key it works.

    Generally, if Shift is during the context menu event (e.g. right-click +
    shift) the the spellchecker is not displayed to make the menu shorter. So if
    the event is triggered by Shift+F10 it naturally contains shift. We could
    limit that to the mouse context event.

     
  • Max
    Max
    2012-06-24

    Thanks for the explanation.
    Limiting the "short context menu on Shift" functionality would help but would
    also break Shift+<Context key=""> for a short context menu, wouldn't it?. On the
    other hand, Shift+F10 is really helpful on keyboards without a context key
    (e.g. some notebooks).

     
  • Max
    Max
    2012-06-24

    Mapping the context menu key functionality onto the right control key (by
    means of .Xmodmap in ubuntu) solved the problem for me.