And add a mechanism to copy the old .gps directory to .gnatstudio
the first time. Rename keys6.xml to keys.xml when importing the old
.gpr directory.
Change-Id: I1e1ea2c123ae772a547561737e2309d4c081f239
Replace almost everywhere Control_Mask by Primary_Mod_Mask, or "control-*" by
"primary-*"
* common/ui/gui_utils.adb:
Replace the specific support for the cmd key with the more general support of
primary modifier key.
For MA25-032
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@218216 936e1b1b-40f2-da11-902a-00137254ae57
examples/python to share/libary.
Move align.py from library to plug-ins.
Part of H103-005
Minor reformatting.
git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@126716 936e1b1b-40f2-da11-902a-00137254ae57