Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Gedit plugin that adds the ability to change the font size
Python Makefile Gettext Catalog
Branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
zoom added the combination <ctrl>= to enlarge the font
.gitignore
LICENSE ready for first release
Makefile Fixed typo upon request by Axel - thanks!
README
zoom.gedit-plugin

README

Zoom - gedit plugin
===================

This plugin for gedit - GNOME text editor - adds the ability to change the
font size using either the menu bar, keyboard shortcuts or <ctrl>-mousewheel
in a same manner as Firefox, OpenOffice and other applications.

Contact
-------

Author: Christian Luginbühl <dinkel@pimprecords.com>
Home:   <http://github.com/dinkel/gedit-zoom>

License
-------

See the LICENSE file.

Development
-----------

It proved helpful for development to check out the git-repository to your
favourite location and create symlinks in your personal plugins directory to
the necessary files and directories. There is a make target, that accomplishes
this:

$ make install-dev


Install
-------

Simply extract the package into the ~/.gnome2/gedit/plugins directory, or - for
a system-wide delpoyment - into /usr/lib/gedit-2/plugins (the path may be
different, depending on your distribution).

Then activate and configure the plugin through Edit -> Preferences -> Plugins.

Todo
----

If the fontsize is changed through Edit -> Preferences -> Font & Colors, then
these changes are not yet recognized by this plugin. Therefore changing the
zoom level still calculates with the fontsize when gedit was last started.
Restarting gedit fixes this annoyance.

Comments / Bugs
---------------

Although I do consider myself as a skilled programmer, these are my first steps
in Python and gedit plugin programming. Therefore I'm eager to hear your
comments about this piece of software. Also if you find a bug or thought of an
enhancment, please use GitHubs bugtracking system. This plugin's home is stated
above.
Something went wrong with that request. Please try again.