gnatstudio

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

Files

Arnaud Charlet a48e999811 Move tab_expansion.py from examples to library.

Modify it so that it works with latest GPS version: apparently it's no
 longer possible to bind the same key twice for two different contexts,
 so we can only support Ada files for now.
Part of I119-037


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

2009-01-23 10:50:08 +00:00

ada_expansion.py

Fix file permissions.

2008-10-25 14:18:11 +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 autoformat, predef_ada_entity_interstions, save_on_compile from

2008-07-15 09:05:33 +00:00

colors.py

No need for os.path in fact

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

doc.py

* tags.css:

2008-11-19 13:08:20 +00:00

docgen_gtkada.py

Corrections to make this script generate correct links

2008-09-11 16:18:57 +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

…

indent_all.py

Move autoformat, predef_ada_entity_interstions, save_on_compile from

2008-07-15 09:05:33 +00:00

misc_text_utils.py

Fix file permissions.

2008-10-25 14:18:11 +00:00

project_view.py

New example inspired by G503-015.

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

README

Update location of plug-ins directory.

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

readonly.py

(highlighter.py): new python plugin to support other plugins. This

2008-10-22 22:27:47 +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

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.