Latest news 2021-09-06: new blog post "Legacy Documents and TeX Live Docker Images".

GUI Preferences

image of properties dialog with GUI tab selected (Metal Look and Feel)
Figure 12: GUI Preferences (Metal Look and Feel)

The font used in the General Information and Diagnostics panels can be set in the GUI tab. In addition to adjusting the font size through the Settings➜Increase Font Size or Settings➜Decrease Font Size menu items, you can also set the required font size in this tab.

The Look and Feel can be set by selecting the required option in the Look and Feel drop-down menu. Note that a restart is required as the Look and Feel is set on start up. The title bar appearance is governed by your usual operating system preference. The Look and Feel changes the way the window elements are displayed. Figure 12 shows the "Metal" Look and Feel. Figure 13 shows the "Nimbus" Look and Feel. Figure 14 shows the "CDE/Motif" Look and Feel. Figure 15 shows the "GTK+" Look and Feel. You may not have all these options on your system or you may have additional options, depending on your Java installation.

image of properties dialog with GUI tab selected (Nimbus Look and Feel)
Figure 13: GUI Preferences (Nimbus Look and Feel)
image of properties dialog with GUI tab selected (Cde/motif Look and Feel)
Figure 14: GUI Preferences (CDE/Motif Look and Feel)
image of properties dialog with GUI tab selected (GTK+ Look and Feel)
Figure 15: GUI Preferences (GTK+ Look and Feel)