mediawiki-extensions-Visual.../modules/es/tools
2011-12-09 19:07:06 +00:00
..
es.AnnotationButtonTool.js Fixed logic for popping up inspector only with selection 2011-12-09 02:00:45 +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 es.Inspector and es.LinkInspector - and a whole bunch of other changes (some are hacks) to get a link inspector working nicely 2011-12-09 01:28:44 +00:00
es.DropdownTool.js Made drop down format menu close when clicked 2011-12-09 19:07:06 +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