desktop-packages team mailing list archive

[Sebastien Bacher <seb128@xxxxxxxxxx>]

> But once the mouse comes close enough to the scrollbar line it extends
into its full width.

Right, that's how it's supposed to work


> Only if I use a large enough font I can position the cursor in the last line

you mean your fonts are smaller than the thin bar? could you add a
screenshot with one of the ubuntu theme showing the issue?

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