No, the fonts are not smaller than the line but smaller or at least hardly larger than the sensitive area (feels like about 12 pixels) near the line. As I said, you do not have to hover the line, only close enough to it.
I attached a screenshot for the Eclipse editor issue (editing a property file). For some reason it does no show the mouse cursor but I can assure you it was positioned well outside the area covered by the horizontal scroll bar. As you can see there is no way to position the cursor inside the last line (apart from using the keyboard). ** Attachment added: "Screenshot from 2015-11-17 11-23-20.png" https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1516713/+attachment/4520513/+files/Screenshot%20from%202015-11-17%2011-23-20.png -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gedit in Ubuntu. https://bugs.launchpad.net/bugs/1516713 Title: gtk3 overlay scrollbars consistently show wrong behaviour Status in gedit package in Ubuntu: Incomplete Bug description: This is a general bug in GTK3 overlay scrolling (the new kind, not the old "overlay scrollbars" feature). When a window needs both horizontal and vertical scrolling the actual accessible content is reduced by the size of the scrollbars that show up when you move the mouse into the window. Normally the scrollbars are logically outside the scrollable area and that whole are can be scrolled into view. With overlay scrolling this is not the case because the scrollbars OVERLAY the scrollable content, effectively making part of that content unreachable. In case of a text-file opened in GEDIT this means that the last text- line will be covered by the horizontal scrollbar and you can not scroll further down to scroll it above the horizontal scroll bar (see the attached screenshot). The fix would obviously be to extend the logical scroll range of both scrollbars with the width of the other scrollbar if that exists. ProblemType: Bug DistroRelease: Ubuntu 15.10 Package: gedit 3.10.4-0ubuntu13 ProcVersionSignature: Ubuntu 4.2.0-18.22-generic 4.2.3 Uname: Linux 4.2.0-18-generic x86_64 ApportVersion: 2.19.1-0ubuntu4 Architecture: amd64 CurrentDesktop: Unity Date: Mon Nov 16 17:59:46 2015 ExecutablePath: /usr/bin/gedit InstallationDate: Installed on 2015-11-04 (12 days ago) InstallationMedia: Ubuntu 15.10 "Wily Werewolf" - Release amd64 (20151021) SourcePackage: gedit UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1516713/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp