/usr/share/mozart/doc/panel/node6.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>2 The Menu Bar</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node1.html#chapter.usage"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node7.html#chapter.object">Next >></A></TD></TR></TABLE><DIV id="chapter.menu"><H1><A name="chapter.menu">2 The Menu Bar</A></H1><P></P><DIV id="chapter.menu.panel"><H2><A name="chapter.menu.panel">2.1 The <CODE>Panel</CODE> Menu</A></H2><P>This menu contains operations to clear and close the panel and to stop the Oz system.</P><P></P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">About...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Displays a window containing short information on the Panel. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Reset</TD><TD align="right">C-r</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Clears all monitoring information of the Panel. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Save Parameters...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Save the current system parameters settings to a file. Feeding that file resets the system parameters to their saved values. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Shutdown System...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>After confirmation with a dialog the entire Oz system is halted. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Close</TD><TD align="right">C-x</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Closes the Panel window.</P></DD></DL><P></P></DIV><DIV id="chapter.menu.options"><H2><A name="chapter.menu.options">2.2 The <CODE>Options</CODE> Menu</A></H2><P></P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Configure</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Toggles whether the Panel provides for monitoring only, or for both monitoring and configuring. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Update...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Creates a dialog to set options when the Panel updates its display. <CODE>Update Time</CODE> gives the time period after which the display is updated. <CODE>Update Requirement</CODE> allows to toggle whether the display is updated, only if the mouse pointer is over the Panel's window. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">History...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT></DT><DD><P>Creates a dialog to set the history range for the thread and memory graphs.</P></DD></DL><P></P></DIV></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node1.html#chapter.usage"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node7.html#chapter.object">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|