gedit-plugin-text-size

Text Size plugin for gedit
  https://wiki.gnome.org/Apps/Gedit#Plugins
  0
  no reviews


Gedit-plugins contain a set of plugins for gedit.

This plugin enables easily increasing and decreasing the text size.