https://protegewiki.stanford.edu/index.php?action=history&feed=atom&title=Pr4_UG_rm_WindowPr4 UG rm Window - Revision history2026-05-10T03:38:31ZRevision history for this page on the wikiMediaWiki 1.27.7https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rm_Window&diff=9491&oldid=prevJenniferVendetti: updated content to reflect refactor of menu items. tabs and views menus were top-level, but are now submenus of the window menu.2011-02-26T01:01:46Z<p>updated content to reflect refactor of menu items. tabs and views menus were top-level, but are now submenus of the window menu.</p>
<a href="https://protegewiki.stanford.edu/index.php?title=Pr4_UG_rm_Window&diff=9491&oldid=8194">Show changes</a>JenniferVendettihttps://protegewiki.stanford.edu/index.php?title=Pr4_UG_rm_Window&diff=8194&oldid=prevRichMorin: Automated import of articles2010-07-27T21:01:35Z<p>Automated import of articles</p>
<p><b>New page</b></p><div><!-- Pr4_UG_rm_Window --><br />
== Window Menu ==<br />
<br />
<noinclude>{{Pr4_UG_rm_TOC}}<div id='pr4_ug'></noinclude><br />
<br />
The Window [[{{#var:G}}Menu|menu]]<br />
is used to control the [[Pr4_UG_ui_Main_Window|Main Window]],<br />
{{#var:Pr4}}'s user interface.<br />
<br />
See also [{{#var:pws}}/Protege4Shortcuts Protege 4.X Shortcuts].<br />
<br />
<b>Note:</b><br />
In the keyboard shortcuts below,<br />
substitute "Cmd" for "Ctrl" on Mac OS X.<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Increase font size (Ctrl-=) ====<br />
<br />
Increase the size of the text fonts used by {{#var:Pr4}}.<br />
<br />
==== Decrease font size (Ctrl--) ====<br />
<br />
Decrease the size of the text fonts used by {{#var:Pr4}}.<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Timestamp log / console ====<br />
<br />
Display a dialog, allowing the user to generate a "timestamp" message<br />
(with optional message text) in the system log and/or console.<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Look & Feel > ====<br />
<br />
This sub-menu allows the user to modify the appearance<br />
and (to some degree) behavior of the User Interface.<br />
This is similar to the "themes" or "skins"<br />
found in other GUI-based programs.<br />
<br />
* Protege Default<br />
* Metal<br />
* CDE/Motif<br />
* Mac OS X<br />
* Plastic 3D<br />
<br />
=== ------------------------------ ===<br />
<br />
==== Refresh User Interface ====<br />
<br />
Refresh the User Interface (redraw all windows).<br />
<br />
</div></div>RichMorin