Panel Graphic Editor Preferences Parameter Value Description PGE Color <color> Panel default color Push Buttons <color> Push Buttons default color <XXX> Fill <color> Element type's default fill color <XXX> Line Width <integer value> Element type's line default width Lamps <color> Lamps default color Choice Buttons <color> Choice Buttons default color Radio Buttons <color> Radio Buttons default color Meters <color> Meters default color <XXX> Text <color> Element type's text default color <XXX> Localizer <color> Element type's Localizer default color Knobs <color> Knobs default color Slides <color> Slides default color Displays <color> Displays default color Labels <color> Labels default color <XXX> Font <Font name> Element type's default font Textual Notes <color> Textual Notes default color Polygons <color> Polygons default color Circles <color> Circles default color Arcs <color> Arcs default color Polylines <color> Polylines default color
Parameter
Value
Description
PGE Color
<color>
Panel default color
Push Buttons
Push Buttons default color
<XXX> Fill
Element type's default fill color
<XXX> Line Width
<integer value>
Element type's line default width
Lamps
Lamps default color
Choice Buttons
Choice Buttons default color
Radio Buttons
Radio Buttons default color
Meters
Meters default color
<XXX> Text
Element type's text default color
<XXX> Localizer
Element type's Localizer default color
Knobs
Knobs default color
Slides
Slides default color
Displays
Displays default color
Labels
Labels default color
<XXX> Font
<Font name>
Element type's default font
Textual Notes
Textual Notes default color
Polygons
Polygons default color
Circles
Circles default color
Arcs
Arcs default color
Polylines
Polylines default color