##// END OF EJS Templates
streamline tree-selector menu using checkboxes...
streamline tree-selector menu using checkboxes streamlines the menu from #7667 with - Shorter text, with icons. - Main checkbox no longer opens the dropdown. Instead it just selects all/none. - Fewer menu items but more actions possible by adding checkboxes in the menu - Menu stays open until clicking outside. This obviously needs CSS tweaking

File last commit:

r16684:e2d88e4b
r20343:2de62c85
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer