Red Hat Bugzilla – Bug 1290240
[gtk3] [editor] line numbers don't scroll with content
Last modified: 2015-12-10 09:45:34 EST
Description of problem:
In some editors (Text Editor, Python editor from PyDev, Rust editor from RustDT, …) scrolling text doesn't scroll line numbers.
Version-Release number of selected component (if applicable):
Line numbers are fixed to what they were set when opening the editor
line numbers should scroll
This issue is specific to running eclipse with Gtk3 backend. It does not happen when running eclipse with Gtk2 backend.
This is fixed in the 4.5.1-6 release.