Menu

#2309 filter/search function in shortcuts dialogue?

None
duplicate
nobody
None
1
2017-11-09
2017-11-08
Anonymous
No

Hi, just a suggestion:

it would be great to have a search/filter field in the shortcuts page of the configure dialogue.

For example, I want to know if there is a shortcut to apply \emph{} to a selection, and with a search function I wouldn't have to click through the tree.

Discussion

  • Tim Hoffmann

    Tim Hoffmann - 2017-11-09
    1. Please post feature requests to the feature requests tracker, not to the bug tracker.
    2. Please check, if there is already a feature request for your topic. If so, upvote or comment there.

    duplicate: [feature-requests:#256]

     

    Related

    Feature Requests: #256

  • Tim Hoffmann

    Tim Hoffmann - 2017-11-09
    • status: open --> duplicate
    • Group: -->
     

Log in to post a comment.

MongoDB Logo MongoDB