##// 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:

r10951:31998f30
r20343:2de62c85
Show More
__init__.py
4 lines | 73 B | text/x-python | PythonLexer
try:
from path import *
except ImportError:
from ._path import *