gnatstudio

mirror of https://github.com/AdaCore/gnatstudio.git synced 2026-02-12 12:42:33 -08:00

Files

Emmanuel Briot f39235fa16 Initial revision (F720-008)

git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@98093 936e1b1b-40f2-da11-902a-00137254ae57

2006-07-20 12:17:47 +00:00

ada_expansion.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

ada_formatting.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

bookmarks.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

build.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

clipboards.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

colors.py

No need for os.path in fact

2004-09-27 13:14:51 +00:00

hello_gtk.py

Simple gtk/python example.

2003-12-01 17:02:43 +00:00

ispell.py

Expect the first line which contains the ispell version.

2006-07-06 07:38:38 +00:00

Makefile.py

Clear the console before we start make, to match what GPS does usually

2006-07-20 08:28:21 +00:00

methods.py

Make it work when the user clicks on an access-to-tagged variable as well,

2006-02-22 16:39:06 +00:00

misc_text_utils.py

text utils used by ada expansion and formatting facilities

2005-03-02 16:06:51 +00:00

occurrences.py

(mark_selected): implemented with the new EditorBuffer API. The older

2006-06-22 14:54:11 +00:00

predef_ada_entity_insertions.py

obsolete module name used in XML

2005-03-03 01:26:30 +00:00

README

Update location of plug-ins directory.

2005-04-11 14:42:46 +00:00

rectangles.py

Initial revision (F720-008)

2006-07-20 12:17:47 +00:00

separate.py

New example, idea from F131-024

2006-02-20 14:57:20 +00:00

simple_project.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

skeleton.py

Updated to new API for hooks

2004-09-24 16:00:19 +00:00

tab_expansion.py

Added categories for all defined actions (F613-014)

2006-06-14 13:28:03 +00:00

README

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.