[Bug 1239607] Re: eclipse not refreshing editor properly while scrolling

2013-12-17 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users. ** Changed in: openjdk-7 (Ubuntu) Status: New = Confirmed -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1239607 Title:

[Bug 1239607] Re: eclipse not refreshing editor properly while scrolling

2013-12-17 Thread Enric Alberola Rosell
Probably this bug is not related to openjdk. I have the same problem running Eclipse 3.7.1 with Oracle's JRE (1.7.0_45). -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1239607 Title: eclipse not