TheDJ has uploaded a new change for review.
https://gerrit.wikimedia.org/r/221072
Change subject: Avoid copying the line numbers
......................................................................
Avoid copying the line numbers
Change-Id: I21a533e1e2ad2b12026db672c12e9e94ab49b0f8
---
M modules/pygments.wrapper.css
1 file changed, 6 insertions(+), 1 deletion(-)
git pull
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/SyntaxHighlight_GeSHi
refs/changes/72/221072/1
diff --git a/modules/pygments.wrapper.css b/modules/pygments.wrapper.css
index 643e3c3..fe8096a 100644
--- a/modules/pygments.wrapper.css
+++ b/modules/pygments.wrapper.css
@@ -22,5 +22,10 @@
* to highlight a language for which no lexer exists.
*/
.mw-highlight .err {
- border: 0;
+ border: 0;
+}
+
+/* Exclude line numbers when copy pasting */
+.mw-highlight .lineno {
+ user-select: none;
}
--
To view, visit https://gerrit.wikimedia.org/r/221072
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I21a533e1e2ad2b12026db672c12e9e94ab49b0f8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SyntaxHighlight_GeSHi
Gerrit-Branch: master
Gerrit-Owner: TheDJ <hartman.w...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
