mediawiki-extensions-Visual.../modules/es/tools
2011-12-02 01:22:51 +00:00
..
es.AnnotationButtonTool.js * Split the result of getAnnotationsFromRange to provide full, partial and all lists 2011-12-01 23:25:56 +00:00
es.ButtonTool.js Made buttons not change focus 2011-12-01 00:28:09 +00:00
es.ClearButtonTool.js * Split the result of getAnnotationsFromRange to provide full, partial and all lists 2011-12-01 23:25:56 +00:00
es.DropdownTool.js Added FormatDropdownTool, so now you can switch leaf nodes from paragraphs to pres for instance 2011-12-01 23:24:21 +00:00
es.FormatDropdownTool.js Small refactoring of updateState in FormatDropdownTool 2011-12-02 01:22:51 +00:00
es.HistoryButtonTool.js Added undo and redo buttons to toolbar 2011-12-01 01:33:13 +00:00
es.Tool.js Refactoring of Toolbar tools 2011-11-30 23:05:06 +00:00