| <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> |
| <html lang="en"> |
| <head> |
| <meta name="copyright" content="Copyright (c) IBM Corporation, Red Hat, and others 2000, 2011. This page is made available under license. For full details see the LEGAL in the documentation book that contains this page."> |
| <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> |
| <meta http-equiv="Content-Style-Type" content="text/css"> |
| <link rel="STYLESHEET" href="../book.css" charset="ISO-8859-1" type="text/css"> |
| <script language="JavaScript" src="PLUGINS_ROOT/org.eclipse.help/livehelp.js" type="text/javascript"></script> |
| <title>Appearance preference page</title> |
| </head> |
| <body bgcolor="#ffffff"> |
| |
| <h1 class="Head">Appearance preference page</h1> |
| |
| <p class="Para">You can change the following preference on the |
| <a class="command-link" href='javascript:executeCommand("org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Views)")'><img src="PLUGINS_ROOT/org.eclipse.help/command_link.png" alt="command link"><strong>General > Appearance</strong></a> preferences page. |
| </p> |
| |
| <table width="80%" border="1" cellspacing="0" cellpadding="5"> |
| <tr> |
| <th>Option</th> |
| <th>Description</th> |
| <th>Default</th> |
| </tr> |
| <tr valign="top"> |
| <td><b>Theme</b></td> |
| <td>Specify the currently active theme (look and feel).</td> |
| <td>Dependent on the operating system</td> |
| </tr> |
| <tr valign="top"> |
| <td><b>Enable animations</b></td> |
| <td>Specify if the animations should be enabled</td> |
| <td>Disabled</td> |
| </tr> |
| <tr valign="top"> |
| <td><b>Use mixed fonts and colors for labels</b></td> |
| <td>Specify if the fonts and colors for labels should be mixed</td> |
| <td>Fonts and colors should be mixed</td> |
| </tr> |
| </table> |
| |
| <p>The <b>Appearance</b> preferences page: |
| </p> |
| |
| <p><img src="../images/Image218_pref_app.png" alt="Appearance preference page" border="0"> |
| </p> |
| |
| </body> |
| </html> |
