Public bug reported:

I'm using Pluma 1.22.2 in Kubuntu 19.10.

This is a feature request to provide the ability for font-size
adjustment by simply holding down your CTRL key while scrolling the
mouse-wheel.

I'm not talking about the printed font-size, I'm simply referring to the
on-screen font-size.

For example, Kate [ https://kate-editor.org/ ] has this feature and it
sure is a quick way of adjusting the font-size to an exact preference in
the fewest number of steps. It offers real-time feedback as you're
adjusting (which is way better than alternative methods I've seen).

This feature should offer enough granularity so that you never are in a
situation where the available sizes seem either too big or too small,
but not so granular that it take several rotations of the scroll-wheel
to reach your desired font-size.

I realize that Pluma is intended to be a simple text editor, and I do
like it for that purpose. Yet, this is the only advanced feature I
really wish it had.

ProblemType: Bug
DistroRelease: Ubuntu 19.10
Package: pluma 1.22.2-0ubuntu1
ProcVersionSignature: Ubuntu 5.3.0-40.32-generic 5.3.18
Uname: Linux 5.3.0-40-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.11-0ubuntu8.4
Architecture: amd64
CurrentDesktop: KDE
Date: Wed Feb 26 07:23:27 2020
InstallationDate: Installed on 2020-02-03 (22 days ago)
InstallationMedia: Kubuntu 19.10 "Eoan Ermine" - Release amd64 (20191017)
ProcEnviron:
 TERM=xterm-256color
 PATH=(custom, no user)
 XDG_RUNTIME_DIR=<set>
 LANG=en_US.UTF-8
 SHELL=/bin/bash
SourcePackage: pluma
UpgradeStatus: No upgrade log present (probably fresh install)

** Affects: mate-desktop
     Importance: Unknown
         Status: Unknown

** Affects: pluma (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: amd64 apport-bug eoan

** Bug watch added: github.com/mate-desktop/pluma/issues #527
   https://github.com/mate-desktop/pluma/issues/527

** Also affects: mate-desktop via
   https://github.com/mate-desktop/pluma/issues/527
   Importance: Unknown
       Status: Unknown

** Description changed:

+ I'm using Pluma 1.22.2 in Kubuntu 19.10.
+ 
  This is a feature request to provide the ability for font-size
  adjustment by simply holding down your CTRL key while scrolling the
  mouse-wheel.
  
  I'm not talking about the printed font-size, I'm simply referring to the
  on-screen font-size.
  
  For example, Kate has this feature and it sure is a quick way of
  adjusting the font-size to an exact preference in the fewest number of
  steps. It offers real-time feedback as you're adjusting (which is way
- better any other alternative methods I've seen).
+ better than alternative methods I've seen).
  
- This feature should over enough granularity so that you never are in a
+ This feature should offer enough granularity so that you never are in a
  situation where the available sizes seem either too big or too small,
  but no so granular that it take several rotations of the scroll-wheel to
  reach your desired font-size.
  
  I realize that Pluma is intended to be a simple text editor, and I do
  like it for that purpose. Yet, this is the only advanced feature I
  really wish it had.
  
  ProblemType: Bug
  DistroRelease: Ubuntu 19.10
  Package: pluma 1.22.2-0ubuntu1
  ProcVersionSignature: Ubuntu 5.3.0-40.32-generic 5.3.18
  Uname: Linux 5.3.0-40-generic x86_64
  NonfreeKernelModules: nvidia_modeset nvidia
  ApportVersion: 2.20.11-0ubuntu8.4
  Architecture: amd64
  CurrentDesktop: KDE
  Date: Wed Feb 26 07:23:27 2020
  InstallationDate: Installed on 2020-02-03 (22 days ago)
  InstallationMedia: Kubuntu 19.10 "Eoan Ermine" - Release amd64 (20191017)
  ProcEnviron:
-  TERM=xterm-256color
-  PATH=(custom, no user)
-  XDG_RUNTIME_DIR=<set>
-  LANG=en_US.UTF-8
-  SHELL=/bin/bash
+  TERM=xterm-256color
+  PATH=(custom, no user)
+  XDG_RUNTIME_DIR=<set>
+  LANG=en_US.UTF-8
+  SHELL=/bin/bash
  SourcePackage: pluma
  UpgradeStatus: No upgrade log present (probably fresh install)

** Description changed:

  I'm using Pluma 1.22.2 in Kubuntu 19.10.
  
  This is a feature request to provide the ability for font-size
  adjustment by simply holding down your CTRL key while scrolling the
  mouse-wheel.
  
  I'm not talking about the printed font-size, I'm simply referring to the
  on-screen font-size.
  
  For example, Kate has this feature and it sure is a quick way of
  adjusting the font-size to an exact preference in the fewest number of
  steps. It offers real-time feedback as you're adjusting (which is way
  better than alternative methods I've seen).
  
  This feature should offer enough granularity so that you never are in a
  situation where the available sizes seem either too big or too small,
- but no so granular that it take several rotations of the scroll-wheel to
- reach your desired font-size.
+ but not so granular that it take several rotations of the scroll-wheel
+ to reach your desired font-size.
  
  I realize that Pluma is intended to be a simple text editor, and I do
  like it for that purpose. Yet, this is the only advanced feature I
  really wish it had.
  
  ProblemType: Bug
  DistroRelease: Ubuntu 19.10
  Package: pluma 1.22.2-0ubuntu1
  ProcVersionSignature: Ubuntu 5.3.0-40.32-generic 5.3.18
  Uname: Linux 5.3.0-40-generic x86_64
  NonfreeKernelModules: nvidia_modeset nvidia
  ApportVersion: 2.20.11-0ubuntu8.4
  Architecture: amd64
  CurrentDesktop: KDE
  Date: Wed Feb 26 07:23:27 2020
  InstallationDate: Installed on 2020-02-03 (22 days ago)
  InstallationMedia: Kubuntu 19.10 "Eoan Ermine" - Release amd64 (20191017)
  ProcEnviron:
   TERM=xterm-256color
   PATH=(custom, no user)
   XDG_RUNTIME_DIR=<set>
   LANG=en_US.UTF-8
   SHELL=/bin/bash
  SourcePackage: pluma
  UpgradeStatus: No upgrade log present (probably fresh install)

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1864851

Title:
  Adjust On-Screen Font Size using CTRL+MouseWheelScrolling

To manage notifications about this bug go to:
https://bugs.launchpad.net/mate-desktop/+bug/1864851/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to