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.
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.
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).
Mapping the context menu key functionality onto the right control key (by
means of .Xmodmap in ubuntu) solved the problem for me.