Emmanuel Briot a274d7c96c (modules.py): a new high-level way to write python extensions to GPS, ...

which takes care of various things, like automatic connection to hooks,
 setup, desktop saving,...
M807-044
(task_manager.py): rewritten with modules.py, so that we can save it in
 the desktop. No loading implemented yet.
("GPS.MDI.add"): new parameter save_desktop, to support saving python
 widgets in the desktop.
M808-040

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

2013-08-09 14:57:11 +00:00

..

core

------------------------------------------------------------------------

2013-02-26 15:03:13 +00:00

obj

Fix permissions

2009-11-23 20:11:05 +00:00

src

(modules.py): a new high-level way to write python extensions to GPS,

2013-08-09 14:57:11 +00:00

.cvsignore

Fix permissions

2009-11-23 20:11:05 +00:00

python_core.gpr

Merge changes from trunk.

2013-02-21 16:37:08 +00:00

python.gpr

Merge changes from trunk.

2013-02-21 16:37:08 +00:00