Page MenuHomePhabricator

Edit font preview in preferences uses a small font size for monospace
Closed, ResolvedPublic1 Estimated Story Points

Description

At least in Firefox the preview of the edit font in the preferences (e.g. https://de.wikipedia.beta.wmflabs.org/wiki/Spezial:Einstellungen#mw-prefsection-editing) is smaller than usual for monospace, for me the preview has 10.5px, while on editing pages 12px is used (12.3px in NWE).
As mediawiki.editfont.css has just

.mw-editfont-monospace {
  font-family: monospace;
}

https://phabricator.wikimedia.org/source/mediawiki/browse/master/docs/uidesign/monospace.html explains why the font is too small in the preferences, though it remains a mystery for me why it has a good size on edit pages. Anyway, the size on edit pages should be kept, and the size in the preferences be increased to match it.

Event Timeline

Schnark created this task.Nov 25 2017, 9:16 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptNov 25 2017, 9:16 AM

Change 396005 had a related patch set uploaded (by Jforrester; owner: Esanders):
[mediawiki/core@master] Standardize editfont size across browsers/OSes

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

Jdforrester-WMF triaged this task as Low priority.
Jdforrester-WMF set the point value for this task to 1.

(For future reference, this refers to the feature from https://gerrit.wikimedia.org/r/#/c/389980/, which is currently reverted per https://gerrit.wikimedia.org/r/#/c/394804/)

Change 396005 merged by jenkins-bot:
[mediawiki/core@master] Standardize editfont size across browsers/OSes

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

Volker_E closed this task as Resolved.Dec 20 2017, 1:27 AM
Volker_E removed a project: Patch-For-Review.
Volker_E removed a subscriber: gerritbot.
Restricted Application added a project: User-Ryasmeen. · View Herald TranscriptDec 20 2017, 1:27 AM