cemsen,
Thank you for trying DevStyle.
Can you please check how this works with Eclipse Dark theme? Go to Window > Preferences > General > Appearance and select Dark instead of DevStyle theme, apply the changes, restart and check if the GTK_OVERLAY_SCROLLING is respected.
Please also share with us some more details :
1. Exact OS version, GTK version that you are using and Eclipse version.
2. Screenshot showing the overwriting of the last column/line.
Apologies for inconvenience caused.
–Swapna
Genuitec Support