This file is indexed.

/usr/share/mozart/doc/panel/node1.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>1 Usage</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="toc.html#label1">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node6.html#chapter.menu">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.usage"><H1><A name="chapter.usage">1 Usage</A></H1><P>This chapter briefly outlines the features of the Oz Panel. </P><P></P><P class="margin">invoking</P><P> The Panel is invoked by either feeding the expression </P><BLOCKQUOTE class="code"><CODE>{Panel<SPAN class="keyword">.</SPAN>object&nbsp;open}</CODE></BLOCKQUOTE><P> or by selecting from the Oz Menu in the Oz Programming Interface the <CODE>Panel</CODE> entry. Furthermore, it is possible to invoke the Panel from the Oz Programming Interface with the key <KBD>C-C p</KBD>. </P><P></P><P class="margin">monitor</P><P>The Panel <A name="label2"></A><EM>monitors</EM> the most important system parameters. The Panel can be configured (see <A href="node6.html#chapter.menu.options">Section&nbsp;2.2</A>) to also allow to</P><P class="margin">configure</P><P><A name="label3"></A><EM>configure</EM> system parameters. The Panel works as a graphical frontend for the procedures <CODE>Property<SPAN class="keyword">.</SPAN>get</CODE> <A name="label4"></A> and <CODE>Property<SPAN class="keyword">.</SPAN>put</CODE> <A name="label5"></A> that are described in <A href="../system/node58.html#chapter.property">Chapter&nbsp;23 of ``System Modules''</A>. </P><P></P><P class="margin">update</P><P>The panel periodically updates its display. By default, only when the mouse pointer is over the Panel's window updating takes place. However, this can be changed (see <A href="node6.html#chapter.menu.options">Section&nbsp;2.2</A>). </P><P>Please note that the panel application itself contributes to thread and memory usage. For example, whenever the panel display updates the heap usage (see <A href="node3.html#chapter.usage.memory">Section&nbsp;1.2</A>) the current heap size increases by a few KB. By default, this happens every second when the mouse pointer is over the panel application (see above). Moreover, in the default setting two new threads are created (see <A href="node2.html#chapter.usage.threads">Section&nbsp;1.1</A>) whenever the mouse is moved anew over the panel, or when tabs are switched (the number of runnable threads remains 1, though). </P><P>The information the panel displays is described in <A href="node2.html#chapter.usage.threads">Section&nbsp;1.1</A>, <A href="node3.html#chapter.usage.memory">Section&nbsp;1.2</A>, <A href="node4.html#chapter.usage.problem">Section&nbsp;1.3</A>, and <A href="node5.html#chapter.usage.opi">Section&nbsp;1.4</A>. </P><P></P><HR><UL class="toc"><LI><A href="node2.html#chapter.usage.threads">1.1 Information on Threads</A></LI></UL><UL class="toc"><LI><A href="node3.html#chapter.usage.memory">1.2 Information on Memory</A></LI></UL><UL class="toc"><LI><A href="node4.html#chapter.usage.problem">1.3 Information on Problem Solving</A></LI></UL><UL class="toc"><LI><A href="node5.html#chapter.usage.opi">1.4 Information on Programming Interface</A></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="toc.html#label1">&lt;&lt; Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node6.html#chapter.menu">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>