https://bugzilla.wikimedia.org/show_bug.cgi?id=39649
--- Comment #1 from Brion Vibber <[email protected]> 2012-08-25 20:28:13 UTC --- The tricky thing here of course is that the tab key is expected to do something specific in a code editor, which is to indent (either with literal tabs or spaces). Double-tap of tab would not work well, as that would behave unexpectedly when hitting tab twice to indent text two levels. Shift-tab is taken for de-indent, as expected in most code editors. Unfortunately I'm not sure what a good solution for this is other than "use the mouse" or "use another key combination to jump to another part of the page". :( -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
