Webkit currently attempts to reproduce drawing logic in much the same way that Mozilla does, but almost certainly misses a lot of corner cases (*rimshot*). This looks like a bug that falls into that category.
Rather than trying to find those cases and fix them, we should dump the entire drawing logic that exists now and switch to using gtk+ widget offscreen rendering. That should fix this and all of the remaining issues and reduce the code size. -- Navigation and main panes have different borders https://bugs.launchpad.net/bugs/435718 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
