Preferences

last modified on Feb 28, 2018

Die Eclipse-basierte Nutzeroberfläche des TextGridLab verwendet für seine allgemeine Darstellung die Systemeinstellungen und bietet den Assistenten Benutzervorgaben, um die Darstellung jener Elemente der Oberfläche anzupassen, die Eclipse- oder TextGridLab-spezifisch sind.

Lab-übergreifende Schriftgröße anpassen

Die Lab-übergreifende Schriftgröße wird beispielsweise im Navigator und in den Menüs verwendet und kann nur über die Systemsteuerung Ihres Betriebssystems angepasst werden:

• Unter Linux hängt die Einstellung von der Benutzeroberfläche Ihrer Linux-Distribution ab, beispielsweise müssen Sie dafür unter Gnome 3 den Reiter Fonts der Tweak Tool oder des Unity Tweak Tools unter Ubuntu/Unity verwenden.
• Für Mac OS gibt es ein Werkzeug eines Drittanbieters zur Anpassung der Systemschrift.
• Unter Windows können Sie über die Systemsteuerung die globale Schriftgröße vergrößern oder die Farben und Schriften ändern, die für bestimmte Teile der Nutzeroberfläche verwendet werden. Die meisten Bedienelemente des TextGridLab verwenden die Schrifteinstellung, die für die Inhalte von Dialogfenstern des Betriebssystems eingestellt sind.

Schrift in Editoren anpassen und andere spezifische Einstellungen der Nutzeroberfläche

Zur Feinabstimmung von Elementen der Nutzeroberfläche, die Eclipse- oder TextGridLab-spezifisch sind öffnen Sie den Assistenten Benutzervorgaben über den Unterpunkt „Benutzervorgaben“ im Menü „Fenster“ (oder "TextGridLab" unter Mac OS) in der Menüleiste. Der Assistent ist detailliert beschrieben unter

http://Hilfe.eclipse.org/indigo/index.jsp

In diesem Assistenten können Sie Benutzervorgaben ändern, die wichtig für TextGrid sind. Wenn Sie beispielsweise die Schriftgröße in der Quelle-Ansicht des XML-Editors ändern wollen, wählen Sie "Allgemein" im Assistenten. Wählen Sie dann "Darstellung" und danach "Farben und Schriftarten" in der Baumstruktur auf der linken Seite. Wählen Sie "Basis" und "Text Schriftart" aus der Liste in der Mitte des Assistenten aus. Klicken Sie "Bearbeiten", um die Schriftgröße zu ändern und "OK" oder "Anwenden", um die Benutzervorgaben zu speichern.

Attachments

• preferences.png (image/png)
• gs-preferences-wizard.png (image/png)