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

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

GPS comes with a number of plug-ins. Some of these plugins are activated by
default, others are not. In both cases, you can control which plug-ins should
be activated by using the menu `/Tools/Plug-ins`.

This section highlights a few of these plug-ins, but GPS comes with many
more plug-ins. The dialog `Tools/Plug-ins` will show their description, so
that you can decide whether you want them or not.

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 in fact 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:
