wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-24 14:34:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
1050 commits 283 branches 5 tags 31 MiB
Commit graph

7 commits

Author SHA1 Message Date
Ed Sanders 0aec99f386 Extend highlight into line number gutter 
Change-Id: I8947dc11dc671c44db084287ff1b3fe497eaa25b
 2021-01-01 19:55:06 +00:00
Ed Sanders d3b4227ed4 Fix selector specificty for Minerva 
Bug: T270989
Change-Id: I55d6735002247b228b7c2a7406d684496b0b7f00
 2021-01-01 16:42:55 +00:00
Ed Sanders 98c644a639 Improve appearance of line numbers 
* Render a solid gutter that can take 3-4 digit line numbers
* Position line numbers absolutely in the gutter
* Add padding to code so that it doesn't wrap into the gutter

Change-Id: I7abb87452ad61808dad32b41c1d2d86b8ababb28
 2020-12-30 21:35:04 +00:00
Ed Sanders f2ef11144a Display line numbers as generated CSS content 
This makes them unselectable in more browsers as the
user-select fix isn't supported everywhere (e.g. Safari).

Bug: T32773
Change-Id: I274632a1055e1f85679fbb29c81629104cc8b222
 2020-12-30 19:43:03 +00:00
Ed Sanders 6e558b37db Add small gap between line numbers and code 
Change-Id: Ie65128872f318a42677e52420338684ad8d814f8
 2020-12-30 19:43:03 +00:00
Ed Sanders 9c0e82878e Fix classname lineno->linenos 
Bug: T270296
Change-Id: Ia11c2f13161bfd5b8c1c7e898416373202736c76
 2020-12-30 19:43:00 +00:00
Ed Sanders 62cd4384ba Convert pygments.wrapper.css to LESS 
Change-Id: I3b221a146528cfc328666da40f99f3132d0ac700
 2020-12-30 15:31:33 +00:00