mediawiki-extensions-Visual.../modules/es/tools
2011-12-08 23:52:35 +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 Get rid of console.log 2011-12-08 23:52:35 +00:00
es.ListButtonTool.js Fix bug in ListButtilTool - cursor position was adjusted when it shouldn't be 2011-12-08 22:16:05 +00:00