5

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.

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

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
2
  • In my situation (Ubuntu 18.04, gedit 3.28.1) the installation terminates successfully but I do not see the plugin showing up within gedit. If I look in /usr/share/gedit/plugins/externaltools/tools, where the previous plug-ins are located, I cannot see this new one. Nov 4 '19 at 14:35
  • @XavierStuvw get list of installed files with dpkg -L gedit-plugin-text-size - See the Plugins area in Gedit Preferences
    – cmak.fr
    Nov 4 '19 at 16:05

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.