On Tue, Aug 27, 2013 at 10:01 PM, MZMcBride <[email protected]> wrote:
> Helder . wrote: > >On Fri, Aug 23, 2013 at 6:39 PM, Greg Grossmeier <[email protected]> > >wrote: > >> == Thursday == > >> * CodeEditor support will be enabled for all JS and CSS on all wikis > > > >Without fixing the bug which makes it use spaces instead of tabs? > >Seriously? > >https://bugzilla.wikimedia.org/show_bug.cgi?id=39616 > > This bug is now resolved/fixed. :-) Thanks to Alex M. and Ori L. for > working on this. > 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? -- Brad Jorsch (Anomie) Software Engineer Wikimedia Foundation _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
