mediawiki-extensions-Visual.../modules/es/tools
2011-12-08 06:40:36 +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 Revert r105509 and r105507 - taken approach is not gonna work 2011-12-08 03:14:10 +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 Update selection after unlisting list items 2011-12-08 06:40:36 +00:00