You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
15 lines
427 B
Python
15 lines
427 B
Python
# 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)
|