mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
5b4554b47f
Fix the commented-out code: it caused unindent to be triggered by just pressing Shift. ASCII 16 is "data link escape", no idea where that came from, so I removed it and used e.shiftKey instead. Also check whether indent/outdent is even possible before doing it. Currently this is done in a very hacky way (by checking the state of the indent button), ideally we'd refactor things such that toolbar tools can listen for keydowns and intercept them, that would make the code much cleaner and we wouldn't have this problem. Change-Id: I99885ee4b8a79cd24c4958c188addfc2b0453b03 |
||
---|---|---|
.. | ||
inspectors | ||
styles | ||
tools | ||
ve.ui.Context.js | ||
ve.ui.Inspector.js | ||
ve.ui.js | ||
ve.ui.Menu.js | ||
ve.ui.Tool.js | ||
ve.ui.Toolbar.js |