mediawiki-extensions-Visual.../modules/es/tools
2011-12-13 23:15:31 +00:00
..
es.AnnotationButtonTool.js Fixes issue with r106123 where creating new links wasn't working anymore with the button 2011-12-13 23:15:31 +00:00
es.ButtonTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.ClearButtonTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.DropdownTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.FormatDropdownTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.HistoryButtonTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.IndentationButtonTool.js * Added shortcut for links (ctrl/cmd + K) 2011-12-09 21:16:42 +00:00
es.ListButtonTool.js Add calls to 'breakpoint' method in ListButtonTool 2011-12-10 00:06:37 +00:00