Page MenuHomePhabricator
Create Task
Maniphest T171201

Make 'monospace' the default font for the wikitext editor
Closed, ResolvedPublic0 Estimated Story Points
Actions

Description

The are four options for the editfont:

  • browser default
  • monospace
  • serif
  • sans-serif

The current default is 'browser default' which is whatever default your browser picks for <textarea>. In most cases this is monospace, but on OSX + Safari/Chrome (WebKit) it is sans-serif. Pretty much nowhere else in MediaWiki do we let font selection fall through to a browser default, and the same reasons for doing this should apply here (UX consistency).

With the introduction of syntax highlighting, which currently only supports monospace, it would also be better if people were always defaulted to monospace, so they don't get a shock when they turn this feature on.

Affected users will still be able to change their default font.

Details

SubjectRepoBranchLines +/-
Change 'editfont' default preference to 'monospace'mediawiki/coremaster+2 -2
Customize query in gerrit

Related Objects
Search...

Event Timeline

Esanders created this task.Jul 20 2017, 6:00 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJul 20 2017, 6:00 PM
Esanders added a project: Design.Jul 20 2017, 6:01 PM
matmarex subscribed.Jul 20 2017, 6:05 PM

See also T170223: Remove 'browser default' as an option for the 'editfont' user preference option?

Esanders added a comment.Jul 20 2017, 7:03 PM

Yeah, that would be the next logical step, but I didn't mention it here to limit the scope.

Jdforrester-WMF added projects: MediaWiki-Page-editing, User-notice.Jul 20 2017, 7:11 PM
gerritbot subscribed.Jul 20 2017, 7:14 PM

Change 366615 had a related patch set uploaded (by Jforrester; owner: Jforrester):
[mediawiki/core@master] Change 'editfont' default preference to 'monospace'

https://gerrit.wikimedia.org/r/366615

gerritbot added a project: Patch-For-Review.Jul 20 2017, 7:14 PM
Jdforrester-WMF added a project: MediaWiki-Core-Preferences.Jul 20 2017, 7:15 PM
Esanders added a comment.Jul 20 2017, 8:02 PM

This is still a fairly big change for a large percentage of users, so will need some announcing if we proceed.

Jdforrester-WMF subscribed.Jul 20 2017, 9:27 PM
In T171201#3457744, @Esanders wrote:

This is still a fairly big change for a large percentage of users, so will need some announcing if we proceed.

It'll only affect users of Macs (as far as we know), right? That's 11% of desktop users, which is a fair bunch, but a couple of weeks' notice should be fine, I think.

• Whatamidoing-WMF created subtask T171603: Tell communities about the font change from 'browser default' to 'monospace' .Jul 25 2017, 3:20 PM
Mainframe98 subscribed.Jul 25 2017, 3:30 PM
In T171201#3458055, @Jdforrester-WMF wrote:
In T171201#3457744, @Esanders wrote:

This is still a fairly big change for a large percentage of users, so will need some announcing if we proceed.

It'll only affect users of Macs (as far as we know), right? That's 11% of desktop users, which is a fair bunch, but a couple of weeks' notice should be fine, I think.

iOS users too! As browsers on iOS are limited to Webkit, they behave the same as on OS X. Granted, usage of the desktop skin is highly likely limited to iPad users, and I have no idea how many editors edit using a desktop skin on an iOS device and are actually using the wiki text editor.

Esanders added a parent task: T170223: Remove 'browser default' as an option for the 'editfont' user preference option.Jul 25 2017, 6:21 PM
• Deskana assigned this task to Jdforrester-WMF.Jul 25 2017, 7:20 PM
• Deskana triaged this task as Medium priority.
• Deskana moved this task from To Triage to TR1: Releases on the VisualEditor board.
• Deskana set the point value for this task to 0.
matmarex unsubscribed.Jul 25 2017, 10:22 PM
Johan mentioned this in T171603: Tell communities about the font change from 'browser default' to 'monospace' .Jul 27 2017, 11:55 AM
Johan moved this task from To Triage to In current Tech/News draft on the User-notice board.
waldyrious awarded a token.Aug 1 2017, 2:33 PM
RandomDSdevel awarded a token.Aug 1 2017, 11:19 PM
Johan moved this task from In current Tech/News draft to Already announced/Archive on the User-notice board.Aug 3 2017, 2:45 AM
Isarra subscribed.Aug 12 2017, 2:33 PM
Liuxinyu970226 subscribed.Aug 18 2017, 5:26 AM
Liuxinyu970226 awarded a token.Aug 20 2017, 7:11 AM
gerritbot added a comment.Aug 21 2017, 4:42 PM

Change 366615 merged by jenkins-bot:
[mediawiki/core@master] Change 'editfont' default preference to 'monospace'

https://gerrit.wikimedia.org/r/366615

Jdforrester-WMF closed this task as Resolved.Aug 21 2017, 5:25 PM
Jdforrester-WMF edited projects, added MW-1.30-release-notes (WMF-deploy-2017-08-22 (1.30.0-wmf.15)); removed Patch-For-Review.

This will roll out in the wmf.15 train.

Restricted Application added a project: User-Ryasmeen. · View Herald TranscriptAug 21 2017, 5:25 PM
ReleaseTaggerBot edited projects, added MW-1.30-release-notes; removed MW-1.30-release-notes (WMF-deploy-2017-08-22 (1.30.0-wmf.15)).Aug 21 2017, 9:01 PM
Liuxinyu970226 unsubscribed.Aug 22 2017, 8:19 AM
• Whatamidoing-WMF closed subtask T171603: Tell communities about the font change from 'browser default' to 'monospace' as Resolved.Aug 28 2017, 5:56 PM
happy5214 moved this task from Backlog to Closed on the WikiEditor (2010) board.Aug 4 2019, 11:35 AM
Ladsgroup edited projects, added User-notice-archive; removed User-notice.Aug 13 2022, 1:54 PM
Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits