[ jEdit-users ] HyperSearch Results: Removal of multiple nodes

[Shlomy R. <sre...@gm...>]

Hi,

The "HyperSearch Results" dockable enables removing nodes from the
search result tree. To remove a node, one has to right-click the
result, and select 'Remove Node'. While very useful, it is very
inconvenient in cases where I'd like to remove many nodes - I have to
right click each node and select the appropriate popup menu item. I'd
like to add a new feature, that will allow selection of multiple
nodes, and then remove all selected nodes in one click. Currently, a
single click on a node also opens the buffer of the node in the edit
pane and jumps to that it, and there is no way to select multiple
nodes at once.

There are several ways to implement this feature, here are two of them:
1. Add a new toggle button to the dockable that will determine the
selection mode. When selected, the tree will have multiple-selection
behavior, so you can select multiple nodes and then invoke the context
menu to operate on all selected nodes. When not selected, the tree
will have single-selection behavior, just as it has now.
2. Do not add any button to the dockable, but change the tree behavior
to always multiple-selection, and you will need a double click in
order to jump to a node.

Any recommendations? In case of a toggle button, I need some icon to
represent its meaning (or alternatively text).

Thanks,
Shlomy