Page MenuHomePhabricator
Create Task
Maniphest T161559

Syntax highlighting: Better line spacing for H1s and H2s
Closed, ResolvedPublic1 Estimated Story Points
Actions

Description

Some extra spacing around H1s and H2s so that descenders don't get so close to the line below.

Details

SubjectRepoBranchLines +/-
Add some extra spacing around H1s and H2smediawiki/extensions/CodeMirrormaster+2 -2
Customize query in gerrit

Related Objects
Search...

Event Timeline

• DannyH created this task.Mar 27 2017, 8:56 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMar 27 2017, 8:56 PM
• DannyH renamed this task from Syntax highlighting: Bigger font, better line spacing to Syntax highlighting: Better line spacing for H2s .Mar 29 2017, 1:20 PM
• DannyH updated the task description. (Show Details)
• DannyH added a parent task: T101246: Highlighted wikisyntax while editing articles [AOI].Apr 4 2017, 10:21 PM
• DannyH renamed this task from Syntax highlighting: Better line spacing for H2s to Syntax highlighting: Better line spacing for H1s and H2s .Apr 4 2017, 11:18 PM
• DannyH updated the task description. (Show Details)
• DannyH added a project: MediaWiki-extensions-CodeMirror.
kaldari triaged this task as Medium priority.Apr 4 2017, 11:20 PM
kaldari set the point value for this task to 1.
kaldari moved this task from Needs Discussion to Up Next (May 20-June 3) on the Community-Tech board.
Pastakhov claimed this task.Apr 5 2017, 5:15 AM
gerritbot subscribed.Apr 5 2017, 5:18 AM

Change 346494 had a related patch set uploaded (by Pastakhov):
[mediawiki/extensions/CodeMirror@master] Add some extra spacing around H1s and H2s

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

gerritbot added a project: Patch-For-Review.Apr 5 2017, 5:18 AM
• DannyH edited projects, added Community-Tech-Sprint; removed Community-Tech.Apr 5 2017, 11:19 PM
kaldari closed this task as Resolved.Apr 6 2017, 12:11 AM
kaldari moved this task from Ready to Q1 2018-19 on the Community-Tech-Sprint board.
gerritbot added a comment.Apr 6 2017, 12:14 AM

Change 346494 merged by jenkins-bot:
[mediawiki/extensions/CodeMirror@master] Add some extra spacing around H1s and H2s

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

kaldari moved this task from Q1 2018-19 to Archive on the Community-Tech-Sprint board.Apr 12 2017, 5:39 AM
• DannyH edited projects, added Community-Tech; removed Community-Tech-Sprint.Apr 24 2017, 10:58 PM
• DannyH moved this task from Up Next (May 20-June 3) to Needs Discussion on the Community-Tech board.Apr 25 2017, 2:19 AM
• DannyH moved this task from Needs Discussion to Archive on the Community-Tech board.
Liuxinyu970226 moved this task from Backlog to Done on the MediaWiki-extensions-CodeMirror board.Feb 9 2018, 4:03 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