[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 Bartosz Dziewoński changed: What|Removed |Added Keywords|patch, patch-need-review| Status|PATCH_TO_REVI

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #23 from Gerrit Notification Bot --- Change 139083 merged by jenkins-bot: Vector: Workaround for legacy IE font-sizing issues https://gerrit.wikimedia.org/r/139083 -- You are receiving this mail because: You are the assignee for

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #22 from Bartosz Dziewoński --- Gerrit Patch Uploader sometimes (rarely) generates these files for some reason. I cleaned up the patch. -- You are receiving this mail because: You are the assignee for the bug. You are on the CC li

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #21 from entli...@gmx-topmail.de --- (In reply to Andre Klapper from comment #19) > That's not "really" a patch, due to the first lines which are probably meant > to be a comment instead? The "prologue" of attachment 15592 is harmle

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #20 from Gerrit Notification Bot --- Change 139083 had a related patch set uploaded by Gerrit Patch Uploader: Vector: Workaround for legacy IE font-sizing issues https://gerrit.wikimedia.org/r/139083 -- You are receiving this mai

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-12 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 Gerrit Notification Bot changed: What|Removed |Added Status|NEW |PATCH_TO_REVIEW -- You are

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-09 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 Andre Klapper changed: What|Removed |Added Keywords|patch-reviewed |patch-need-review --- Comment #19 from

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2014-06-07 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 entli...@gmx-topmail.de changed: What|Removed |Added Attachment #7694|0 |1 is obsolete|

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2013-05-20 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #17 from Jon --- I always get concerned about minor bugs that stay open for almost 3 years -- You are receiving this mail because: You are the assignee for the bug. You are on the CC list for the bug. _

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2013-05-20 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 entli...@gmx-topmail.de changed: What|Removed |Added Assignee|entli...@gmx-topmail.de |wikibugs-l@lists.wikimedia.

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2013-05-19 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #16 from entli...@gmx-topmail.de --- (In reply to comment #12) > Hi entlinkt thanks for the patch. I reviewed it but was unable to replicate > or > notice the rounding error you talk about and I wasn't too sure why the > changes > to

[Bug 24515] Fonts in IE6/7 too big when scaling font size

2013-04-02 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 Andre Klapper changed: What|Removed |Added Priority|Normal |Low Version|unspecified