codeowners/examples/python/prefs.py

# This is an example showing how to force setting of GPS preferences
# at start up.

from GPS import Preference, Hook


def on_gps_started(hook):
    # Set the preferences. You can adjust them at your convenience.
    Preference("Ada-Format-Operators").set(True)
    Preference("Ada-Ident-Casing").set("Smart_Mixed")
    Preference("Warnings-Src-Highlight-Color").set("#FFFF6D6D6D6D")


Hook("gps_started").add(on_gps_started)
Conform to pep8 and pyflakes Change-Id: If3a1aa9f0509c98f408673ed645d29ac009b2f82 2017-06-23 14:46:24 +02:00			`# This is an example showing how to force setting of GPS preferences`
			`# at start up.`
Add example on how to set preferences automatically. Part of IA13-037 git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@150768 936e1b1b-40f2-da11-902a-00137254ae57 2009-10-14 06:25:45 +00:00
Conform to pep8 and pyflakes Change-Id: If3a1aa9f0509c98f408673ed645d29ac009b2f82 2017-06-23 14:46:24 +02:00			`from GPS import Preference, Hook`
Add example on how to set preferences automatically. Part of IA13-037 git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@150768 936e1b1b-40f2-da11-902a-00137254ae57 2009-10-14 06:25:45 +00:00

Conform to pep8 and pyflakes Change-Id: If3a1aa9f0509c98f408673ed645d29ac009b2f82 2017-06-23 14:46:24 +02:00			`def on_gps_started(hook):`
			`# Set the preferences. You can adjust them at your convenience.`
			`Preference("Ada-Format-Operators").set(True)`
			`Preference("Ada-Ident-Casing").set("Smart_Mixed")`
			`Preference("Warnings-Src-Highlight-Color").set("#FFFF6D6D6D6D")`


			`Hook("gps_started").add(on_gps_started)`