mediawiki-extensions-Visual.../modules/es/tools
2011-12-03 00:53:37 +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 Integrated menuView into format drop down tool 2011-12-02 21:25:19 +00:00
es.FormatDropdownTool.js Made heading labels less verbose 2011-12-02 22:21:58 +00:00
es.HistoryButtonTool.js Added undo and redo buttons to toolbar 2011-12-01 01:33:13 +00:00
es.ListButtonTool.js Avoid using global variables 2011-12-03 00:53:37 +00:00
es.Tool.js Refactoring of Toolbar tools 2011-11-30 23:05:06 +00:00