mediawiki-extensions-Visual.../modules/es/tools
2011-12-07 23:05:21 +00:00
..
es.AnnotationButtonTool.js * Simplified context menu 2011-12-07 19:16:40 +00:00
es.ButtonTool.js Moved the menu of a drop down tool to be inside the drop down tool itself 2011-12-06 00:10:30 +00:00
es.ClearButtonTool.js Added comments to code 2011-12-05 21:10:19 +00:00
es.DropdownTool.js Moved the menu of a drop down tool to be inside the drop down tool itself 2011-12-06 00:10:30 +00:00
es.FormatDropdownTool.js Moved the menu of a drop down tool to be inside the drop down tool itself 2011-12-06 00:10:30 +00:00
es.HistoryButtonTool.js Added comments to code 2011-12-05 21:10:19 +00:00
es.IndentationButtonTool.js Small cleanup to IndentationButtonTool class 2011-12-07 20:06:04 +00:00
es.ListButtonTool.js Do not redraw selection if nodes were not added. 2011-12-07 23:05:21 +00:00