Since it's only used in GNAT Studio. This package will
be removed from gnatcoll-core.
For eng/toolchain/gnatcoll-core#37
(cherry picked from commit c5cbe6a43a)
Minor API cleanup.
Remove the field Priority in Task_Queue_Record, which is not used.
Remove the parameter "Destroy_On_Exit" wherever it is,
making this the default behavior.
For P314-001.
Change-Id: I54a6452e9288d99d1d619daeb8b9b0a2ed33df4a
Make the Action_Record type private, and provide accessors for its fields
instead.
This provides a single way to check whether an action filter matches, and
let's the user fully disable a command. All associated menus and buttons
are also grayed out.
This is used in particular for the prevent_project_editor.py plugin
O327-030
Change-Id: I7b1b7278aa04c0aa2fcdaf419efde0cc61aaae80
command is executed via a menu or keyboard button.
For now, this is used to change the behavior of the build commands
and decide whether or not to display an intermediate dialog.
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@219246 936e1b1b-40f2-da11-902a-00137254ae57
This gives better control on the order of menus, as well as open
the way to moving the menus to application windows.
MA18-041
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@218586 936e1b1b-40f2-da11-902a-00137254ae57
make the use of perspectives less surprising to users.
M731-021
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@213581 936e1b1b-40f2-da11-902a-00137254ae57
