https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #46 from Codicorumus bugoru...@gmail.com ---
(In reply to Bartosz Dziewoński from comment #44)
(In reply to Codicorumus from comment #39)
Adding also
$geshi-set_overall_style( ' font-family: monospace, monospace;',
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #45 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 131406 merged by jenkins-bot:
Make sure font size in GeSHi output is not too small
https://gerrit.wikimedia.org/r/131406
--
You are receiving this mail
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Status|PATCH_TO_REVIEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Bug 26204 depends on bug 35017, which changed state.
Bug 35017 Summary: Port SyntaxHighlight-Geshi to ResourceLoader
https://bugzilla.wikimedia.org/show_bug.cgi?id=35017
What|Removed |Added
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #43 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 131406 had a related patch set uploaded by Bartosz Dziewoński:
Make sure font size in GeSHi output is not too small
https://gerrit.wikimedia.org/r/131406
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #44 from Bartosz Dziewoński matma@gmail.com ---
(In reply to Codicorumus from comment #39)
Adding also
$geshi-set_overall_style( ' font-family: monospace, monospace;',
/** preserve defaults */ true );
will
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
CC||gsm...@solcon.nl
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Keywords|patch-in-gerrit |
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Antoine hashar Musso has...@free.fr changed:
What|Removed |Added
Assignee|has...@free.fr
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Codicorumus bugoru...@gmail.com changed:
What|Removed |Added
CC||bugoru...@gmail.com
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #40 from Codicorumus bugoru...@gmail.com ---
To be more precise :
- in Chrome, the current patch
- works for lt;source%gt; tags
- doesn't work for pages like [[w:MediaWiki:Common.js]], based on
content-model
- in Firefox, it
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Helder mybugs.m...@gmail.com changed:
What|Removed |Added
Status|RESOLVED|REOPENED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Bartosz Dziewoński matma@gmail.com changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Antoine hashar Musso has...@free.fr changed:
What|Removed |Added
Priority|Normal |Low
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Antoine hashar Musso has...@free.fr changed:
What|Removed |Added
Keywords|patch, patch-reviewed |patch-in-gerrit
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #36 from Krinkle krinklem...@gmail.com 2012-08-28 22:36:30 UTC ---
The font-size itself is not the issue. Sure one can keep incrementing it but
that's a work-around.
The font-size is correct. The problem is the font-family that is
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Marcin Cieślak marcin.cies...@gmail.com changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
JuanPi ajua...@gmail.com changed:
What|Removed |Added
CC||ajua...@gmail.com
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Target Milestone|1.20wmf deployment |1.20.0 release
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Target Milestone|1.20.0 release |1.20
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Depends on||35017
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #33 from Krinkle krinklem...@gmail.com 2012-03-06 23:18:43 UTC ---
(In reply to comment #32)
#2: Create modules for the Geshi highlighting, so they can be treated as
normal
citizens in RL :)
Created bug 35017 for that.
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Target Milestone|--- |1.20wmf deployment
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #32 from Krinkle krinklem...@gmail.com 2012-01-11 16:56:39 UTC ---
(In reply to comment #31)
(In reply to comment #28)
This loading order is simply wrong. We should let the output become a module
and actually make it use
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Summary|fontsize in source too|font-size of
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Sumana Harihareswara suma...@panix.com changed:
What|Removed |Added
Keywords||need-review,
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
Krinkle krinklem...@gmail.com changed:
What|Removed |Added
Keywords|need-review |reviewed
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #30 from Krinkle krinklem...@gmail.com 2012-01-09 20:40:32 UTC ---
Patch looks good. However we'll have to get it through upstream.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
--- You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=26204
--- Comment #31 from Erwin Dokter er...@darcoury.nl 2012-01-09 21:57:08 UTC
---
(In reply to comment #28)
Wrong rev link ?
No, that is the proper one, but a link to the bug might be more prudent: bug
33496.
This loading order is simply
29 matches
Mail list logo
