desktop-packages team mailing list archive

[Silvio Bierman <1516713@xxxxxxxxxxxxxxxxxx>]

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