desktop-packages team mailing list archive

[Silvio Bierman <1516713@xxxxxxxxxxxxxxxxxx>]

I use  numix-grey. And that does not make any sense: any scrollbar width
larger than zero pixels would cover content. That could cripple any
application, including one that edits graphics etc. The fact that I
could access a line of text because it is larger than common scrollbar
widths does not right this wrong behaviour,

Whatever the scrollbar width the calculations are off by exactly that
size.

-- 
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