On Tue, Aug 27, 2013 at 10:01 PM, MZMcBride <z(a)mzmcbride.com> wrote:
Helder . wrote:
On Fri, Aug 23, 2013 at 6:39 PM, Greg Grossmeier
<greg(a)wikimedia.org>
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