Menu

#48 feature request: add a filter text box to the plugin list

accepted
brummer
v1.0_(example)
1
2018-03-26
2018-03-25
Anonymous
No

Currently when one has to add a plugin one has to know the cathegory beforehand and scroll a rather large list of plugins because categories cannot be folded until the cat is found, then unfold the new category, search for the plugin then add.

It would be nice if the ui would have a text entry box which would behave as a filter: if the box is empty the tree view would behave normally, if filled it should either expand all the categories and only show the entries which match the string typed, allowing to quickly search for eg distortions by just typing dist in the box. If having all the options unfolded at the same time would be impossible, then the cathegories should be temp removed while the filter is enabled, to flatten the tree and avoiding to have to click many times to see single item results in the tree branches.

Discussion

  • brummer

    brummer - 2018-03-26
    • labels: --> feature request
    • status: open --> accepted
    • assigned_to: brummer
     
  • brummer

    brummer - 2018-03-26

    Hi

    If you don't know were a plug is landed, you may browse the plugin list via the plugin menu. This will be fast, with a single click and a bit mouse movement. You could load it from there, or just look under which category it is hosted.

    As a side note, in the plugin loader, in the detailed view, you could select yourself under which category you would put the plugin.

    regards
    hermann

     

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB