709
711
"theme, best used on a computer screen display,\r- Light theme. A light "
710
712
"graphic user interface theme, best used on a video projector display."
713
719
#: DrGeoII-Core-Resources,DrGStylePreference:=class>>appearanceSettingsOn:
714
720
msgid "User interface theme"
717
723
#: DrGeoII-Core-Resources,DrGStylePreference:=class>>arcStylesOn:
718
724
msgid "Set the default style for arc."