Im folgenden ist eine Beschreibung aller Einstellungen, welche allen GUI Anwendungen gemeinsam sind. Dabei handelt es sich um Anwendungen, welche dem Benutzer eine graphische Schnittstelle zur Interaktion bieten. Dies zusätzlich zu den bekannten Möglichkeiten auf der Kommandozeile. Solche Anwendungen benötigen daher vom Betriebssystem eine graphische Umgebung für die volle Funktionalität. Einige dieser Anwendungen stellen unter Umständen eingeschränkte Bereiche ihrer Funktionalität über die Kommandozeile bereit und können daher vielleicht auch in bestimmten Szenarien nützlich sein, wo z.B. in einer Server-Umgebung kein graphischer Desktop bereit steht.
Tabelle 3.3. GUI-bezogene Einstellungen
| Name | Alias | Typ | Vorgabe | Beschreibung |
|---|---|---|---|---|
| dialog-properties | dlg | String | ${settings.dir}/${app.name}Dialog.properties |
Zu verwendende Dialogeigenschaften. Spezifiziert den Namen einer Datei, welche die Eigenschaften von Fenstern und Dialogen der Anwendung aufnimmt, wie z.B. deren Grösse und Position auf dem Bildschirm. Da die meisten Dialoge in BoarderZone Anwendungen grössenveränderlich sind, stellt dies einen bequemen Mechanismus dar, da sich die Anwendung hierdurch an die Position und Grössen von Dialogen und/oder Fenstern bestimmter Typen erinnert. Die Eigenschaften werden nur aufgezeichnet, falls ein Dialog nicht abgebrochen wird. Einstellungen müssen dabei entweder manuell oder automatisch beim Beenden der Anwendung gespeichert weren, damit diese Information über mehrere Arbeitssitzungen erhalten bleibt. |
| text-styles | styles | String | ${settings.dir}/${app.name}TextStyles.properties |
Zu verwendende Stildefinitionen für Text. Dies stellt einen einfachen Weg dar, Formatierungsinformationen für Textanzeigen bestimmter Oberflächenelemente zu definieren, wie z.B. den XML Betrachter. Plugins oder Dialoge, welche solche Elemente verwenden, werden den darin enthaltenen Text mit den Stilen dieser Datei anzeigen. Dies erlaubt z.B. das Personalisieren der Syntaxhervorhebung. Das Format ist ein hierarchischer Satz von standard Java properties, welche verschiedene Aspekte jedes Stils definieren. |
| html-styles | css | String | ${settings.dir}/${app.name}HtmlStyles.css |
Zu verwendende Stildefinitionen für HTML. Stellt einen Weg zur Personalisierung des Vorgabe-Stylesheets für HTML-Anzeigen dar. Dies kann verwendet werden, um auf allen angezeigten HTML Elementen der Anwendung einen gemeinsamen Stil vorzugeben. Allerdings ist es nicht angezeigt, eine solche Konfiguration auf eine Browser-ähnliche Anwendung anzuwenden, welche eigentlich die Stylesheets der angezeigten Websites berücksichtigen sollte. Das Format ist standard CSS, wie es vom standard JDK HtmlEditorKit unterstützt wird. |
| template-dir | N/A | String | ${app.home}/conf/templates |
Verzeichnis mit Datei-Vorlagen. Definiert ein Verzeichnis welches Vorlagen-Dateien für die Anwendung bereit stellt. Die Dateien können nach Bedarf in Unterverzeichnissen organisiert werden. Beim Erstellen einer neuen Datei mit Auswahl einer Vorlage wird dem Benutzer die Inhalte dieses Verzeichnisses zur Auswahl offerieren. |
| system-exit | N/A | Boolean | true |
Schnelles Beenden durch Aufruf von System.exit(0) am Ende. Ein einfacher Bequemlichkeitsschalter, welcher die JVM in bestimmten Situationen schneller beendet. Dies forciert einen Aufruf an System.exit(0) nachdem die Anwendung ihre normale Tätigkeit beendet hat. Ohne diesen Aufruf kann es sein, dass der Prozess noch eine Weile weiterläuft, bis die JDK-internen AWT-Threads merken, dass keine Aktivität mehr vorhanden ist und selber herunterfahren. |