gnatstudio

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

Files

Emmanuel Briot 58ff663fab New example (for GA19-017). GPS now has built-in support for this, so this

is not made a full plug-in


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

2008-03-12 16:58:06 +00:00

ada_expansion.py

Minor reformating

2006-07-26 09:26:10 +00:00

autoformat.py

Fix typo.

2007-11-27 16:39:46 +00:00

bookmarks.py

MOve some of the scripts to share/library, so that users can easily load

2006-08-07 11:14:55 +00:00

build.py

Added categories for all defined actions (F613-014)

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

clipboards.py

MOve some of the scripts to share/library, so that users can easily load

2006-08-07 11:14:55 +00:00

colors.py

…

doc.py

Improve comment.

2007-03-14 07:51:10 +00:00

globals.py

New example showing how to retrieve all global entities in a project, file or

2007-07-19 17:49:08 +00:00

hello_gtk.py

…

highlight.py

New example, from F808-027

2006-08-09 08:24:08 +00:00

indent_all.py

Shows how to indent multiple source files (G719-005)

2007-07-20 09:18:02 +00:00

misc_text_utils.py

…

predef_ada_entity_insertions.py

…

project_view.py

New example inspired by G503-015.

2007-05-04 15:36:35 +00:00

README

…

readonly.py

New example for D927-003. There is an automatic regression test for this one

2006-12-06 10:10:52 +00:00

reformat_project.py

Close file after use, to avoid opening thousands of files at the same time,

2007-11-28 13:46:52 +00:00

remote_server_assign_variable.py

Script example for automatically assigning a scenario variable when the build

2006-08-09 08:51:54 +00:00

save_on_compile.py

Example used for F629-017

2006-12-06 10:24:02 +00:00

sparkcomments.py

New example (for GA19-017). GPS now has built-in support for this, so this

2008-03-12 16:58:06 +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.