2

In Ubuntu 16.04, I could open Gedit and go Preferences -> Plugins and then check the box for the Text-Size plugin, but that Plugin no longer appears in the list for the version that runs in Ubuntu 18.04. Please advise.

  • What is the goal? Want to change the font size in editor? – cmak.fr Feb 18 at 13:21
  • @cmak.fr yes, using the mouse scroll – Lost Crotchet Feb 18 at 13:22
4

The gedit plugins should be installed

Find available plugins:

apt-cache search gedit-plugin-*

Install the text-size plugin:

sudo apt install gedit-plugin-text-size

Your Answer

By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.