On Wed, Aug 28, 2013 at 6:29 AM, Brad Jorsch (Anomie) <bjorsch@wikimedia.org
wrote:
That reminds me. The patch adds a JS hook so individual users can select spaces vs tabs for their newly-added lines. Is this going to cause complaints that pages wind up with a mixture of lines indented with spaces and lines indented with tabs? Also, how is indenting with tabs going to interact with people who use the plain-text editor rather than CodeEditor, since it's somewhat difficult to use tabs there because the tab key moves to the next form field?
IMO we should phase out use of the literal tab character, which is very..... teletype-centric. I would recommend normalizing tabs on input into four-spaces.
But keeping existing behavior when cut-n-pasting text with tabs isn't awful for now, I suppose.
This doesn't add *new* tabs when typing code does it?
-- brion