Because TextGrid is programmed in Eclipse, the User Interface can be changed by using the preference dialog of Eclipse. It can be opened by selecting "Window" 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.
