You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
provide an easy way to highlight regular expressions in editors
without duplicating possibly tricky code.
("character_added" hook): also called when a character has been removed
(it seems that a script using this hook is interesting in both kind
of changes anyway, and for backward compatibility with we want to keep
this hook anyway -- the character added is considered to be control-h (8)
in such a case)
remove obsolete examples as a result
git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@131361 936e1b1b-40f2-da11-902a-00137254ae57
This directory contains a number of python scripts, that show how GPS can be extended through this scripting language. To use any of these scripts, copy the file to your $HOME/.gps/plug-ins directory.