← Back to team overview

desktop-packages team mailing list archive

[Bug 1516713] Re: gtk3 overlay scrollbars consistently show wrong behaviour

 

Thank you for your bug report, what GTK theme are you using? The bars
should be thin enough (when not in use) to not cover the text, I can't
confirm the issue here...

** Changed in: gedit (Ubuntu)
   Importance: Undecided => Low

** Changed in: gedit (Ubuntu)
       Status: New => Incomplete

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


References