##// END OF EJS Templates
Introduce a doclkable widget that will substitute "all magics" menu....
Introduce a doclkable widget that will substitute "all magics" menu. Features: a. filter by regexp b. filter by class c. double click pastes d. push buttons to paste and run magics
Dimitry Kloper -
r16481:52a3a72e
Show More