[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 gerritad...@wikimedia.org --- 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 --

[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 gerritad...@wikimedia.org changed: What|Removed |Added Status|NEW

[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 harmless,

[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 matma@gmail.com --- 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.

[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 gerritad...@wikimedia.org --- 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:

[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 matma@gmail.com changed: What|Removed |Added Keywords|patch, patch-need-review|

[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 aklap...@wikimedia.org changed: What|Removed |Added Keywords|patch-reviewed

[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 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-20 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=24515 --- Comment #17 from Jon jrob...@wikimedia.org --- 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-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 aklap...@wikimedia.org changed: What|Removed |Added Priority|Normal |Low