Useful plug-ins
===============

User plug-ins
^^^^^^^^^^^^^

GPS comes with a number of plug-ins, some of which are activated by
default.  Control which plug-ins are activated by using the
:menuselection:`Tools --> Plug-ins` menu.

This section discusses a few of the many plug-ins built in to GPS. The
:menuselection:`Tools --> Plug-ins` menu shows their description, so you
can decide whether you want them enabled.

The :file:`auto_highlight_occurrences.py` module
------------------------------------------------

.. automodule:: auto_highlight_occurrences

The :file:`dispatching.py` module
---------------------------------

.. automodule:: dispatching


Helper plug-ins
^^^^^^^^^^^^^^^

A number of plug-ins are useful when you want to create your own
plug-ins.

The :file:`gps_utils` module
----------------------------

.. automodule:: gps_utils
   :members:

The :file:`gps_utils.highlighter.py` module
-------------------------------------------

.. automodule:: gps_utils.highlighter
   :members:

The :file:`gps_utils.console_process.py` module
-----------------------------------------------

.. automodule:: gps_utils.console_process
   :members:
