https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
CC||krinklem...@gmail.com
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #25 from Erwin Dokter er...@darcoury.nl 2012-01-09 13:30:59 UTC
---
There already is a general rule or 'fix' for preformatted text, now annotated,
that explains the root of the problem (it's not really a bug, just a side
effect of
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #26 from Erwin Dokter er...@darcoury.nl 2012-01-09 19:46:54 UTC
---
Created attachment 9827
-- https://bugzilla.wikimedia.org/attachment.cgi?id=9827
Patch for extensions/SyntaxHighlight_GeSHi/geshi/geshi.php
I did some digging
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #27 from Happy-melon happy.melon.w...@gmail.com 2012-01-09
19:58:32 UTC ---
(In reply to comment #26)
Created attachment 9827 [details]
Patch for extensions/SyntaxHighlight_GeSHi/geshi/geshi.php
Is that one of the GeSHi files
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #28 from Krinkle krinklem...@gmail.com 2012-01-09 20:09:57 UTC ---
(In reply to comment #25)
There already is a general rule or 'fix' for preformatted text, now annotated,
that explains the root of the problem (it's not really a
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
Keywords|need-review, patch |
--- Comment #23 from
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
p858snake p858sn...@gmail.com changed:
What|Removed |Added
CC||m...@rubenkrapf.de
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
Attachment #8597|0 |1
is obsolete|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #17 from Erwin Dokter er...@darcoury.nl 2011-11-05 12:15:15 UTC
---
What extension is that? I can't find it. If it has an associated CSS file
(judging from GeShi's tendencies to throw all CSS inline, I doubt there is), it
should be
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
DavidL lamb...@orange.fr changed:
What|Removed |Added
CC||lamb...@orange.fr
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #19 from Erwin Dokter er...@darcoury.nl 2011-11-05 14:54:21 UTC
---
That file tends to load *after* user CSS, so that is not an option. That is one
of the reasons I moved the font declaration to common.css in the first place.
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #20 from Erwin Dokter er...@darcoury.nl 2011-11-05 15:01:50 UTC
---
The extension is called SyntaxHighlight_GeSHi. It has no CSS file, so a fix in
core is out. However, if the extension can be adapted to have a CSS file, or
load
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
mybugs.m...@gmail.com changed:
What|Removed |Added
CC||mybugs.m...@gmail.com
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #16 from Happy-melon happy.melon.w...@gmail.com 2011-10-19
16:17:11 UTC ---
(In reply to comment #14)
Created attachment 8597 [details]
Patch for shared.css
This should not be put in shared.css, it's related to an extension
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
Keywords||need-review
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #14 from Erwin Dokter er...@darcoury.nl 2011-05-29 10:56:44 UTC
---
Created attachment 8597
-- https://bugzilla.wikimedia.org/attachment.cgi?id=8597
Patch for shared.css
--
Configure bugmail:
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
mybugs.m...@gmail.com changed:
What|Removed |Added
Keywords||patch
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
mybugs.m...@gmail.com changed:
What|Removed |Added
CC||mybugs.m...@gmail.com
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #12 from Erwin Dokter er...@darcoury.nl 2011-05-07 12:50:16 UTC
---
If we want to fix it for Mediawiki, then all that is needed is to add the
following code to shared.css:
/* Fix so syntaxhighlight tags and .css and .js pages get
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #11 from Erwin Dokter er...@darcoury.nl 2011-02-08 16:38:43 UTC
---
This may not have to be pushed upstream after all. After reading the GeSHi
documentation, there are options to set inline CSS in the GeSHi headers, most
notable
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Happy-melon happy.melon.w...@gmail.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #3 from Happy-melon happy.melon.w...@gmail.com 2011-02-03
21:25:16 UTC ---
*** Bug 27145 has been marked as a duplicate of this bug. ***
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
CC||krinklem...@gmail.com
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #5 from Erwin Dokter er...@darcoury.nl 2011-02-03 22:02:37 UTC ---
I opened a new bug because this one was in the wrong category (and could not be
changed unless closed). But to reitterate:
GeSHi is inserting redundant div
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Happy-melon happy.melon.w...@gmail.com changed:
What|Removed |Added
Platform|PC |All
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #7 from Erwin Dokter er...@darcoury.nl 2011-02-03 22:22:17 UTC ---
It affects MW in that sitewide CSS may be blocked, and this may be true for
other websites. I just fixed the Geshi CSS mess on en.wiki, just so I could
finally
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #8 from Happy-melon happy.melon.w...@gmail.com 2011-02-03
22:27:13 UTC ---
We can implement it in a RL'd CSS module included on GeSHi pages; I didn't mean
we should make individual wikis fix it in site CSS. It only makes sense to
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #9 from Erwin Dokter er...@darcoury.nl 2011-02-03 23:16:55 UTC ---
The necessary CSS is already in the proper place (the generated CSS), which can
hopefully be changed by means of local configuration; but it needs to have it's
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #10 from Erwin Dokter er...@darcoury.nl 2011-02-03 23:24:29 UTC
---
@Krinkle,
The code to fix the fontsize for source and syntaxhightlight (as well as
.css and .js pages) is:
div.mw-geshi div pre,
span.mw-geshi,
pre.source-css,
30 matches
Mail list logo