##// END OF EJS Templates
Add new commands refresh and refresh_timer (mapped to "R"/"F5"...
Add new commands refresh and refresh_timer (mapped to "R"/"F5" and to the menu) which restarts the iterator once (refresh) or after every x seconds (refresh_timer). Add a working implementation of "searchexpression", where the text entered is not the text to search for, but an expression that must be true. Added display of shortcuts to the menu. Added commands "pickinput" and "pickinputattr" that put the object or attribute under the cursor in the input line. Split the statusbar to be able to display the currently active refresh interval. (Patch by Nik Tautenhahn)
walter.doerwald -
r708:c2a1e430
Show More
Name Size Modified Last Commit Author
/ setupext
__init__.py Loading ...
install_data_ext.py Loading ...