Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Reverted from v. 15
English

Pagetitle
Preferences
Preferences

TextGridLab's Eclipse-based user interface uses the system settings as the base for its overall look, and it offers a preferences dialog to adjust the visualisation of those parts of the UI that are specific for the TextGridLab or Eclipse.

Adjusting the overall font size

The overall font size that is used, e.g., in the Navigator, in the menus etc., can only be adjusted using your desktop environment's means:

Adjusting the font used in the editors, or other specific UI settings

To fine-tune UI elements specific for Eclipse or the TextGridLab, open the preference dialog by selecting "Window" (or "TextGridLab" on MacOS) in the menu bar and "Preferences". The dialog is described in more detail on

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

In this dialog you can also change some preferences that are important for TextGrid. For example: If you want to change the font size in the Source View of the XML Editor, you can select "General" in the preference dialog. Then you have to choose "Appearence" and afterwards "Fonts and Colors" in the tree structure on the left. Select "Basic" and "Text Font" in the dialog that appears in the center of the dialog. Click "Edit" to change the font size and "OK" and "Apply" to save the preferences.

German

Pagetitle
Benutzervorgaben
Benutzervorgaben

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:

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.