/usr/share/mozart/doc/panel/node7.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>3 The Panel Object</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="node6.html#chapter.menu"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label18">Next >></A></TD></TR></TABLE><DIV id="chapter.object"><H1><A name="chapter.object">3 The <CODE>Panel</CODE> Object</A></H1><P>This chapter lists all methods of the <CODE>Panel</CODE> object. New Panels can be created by creating new objects from the class <CODE>Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'class'</SPAN></CODE>. Execution of <A name="label7"></A> </P><BLOCKQUOTE class="code"><CODE>MyPanel = {New Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'class'</SPAN> init}</CODE></BLOCKQUOTE><P> creates a new Panel which can be accessed by the variable <CODE>MyPanel</CODE>. </P><H2><A name="label8">3.1 Invoking</A></H2><P></P><DL><DT>open</DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'object'</SPAN> open}</CODE></BLOCKQUOTE><P> <A name="label10"></A></P></BLOCKQUOTE></DD><DD><P>Invokes the Panel.</P></DD></DL><P></P><H2><A name="label11">3.2 Options</A></H2><P></P><DL><DT>option</DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'object'</SPAN> option(configure </CODE><CODE>+<I>B</I></CODE><CODE>)</CODE></BLOCKQUOTE><P> <A name="label13"></A></P></BLOCKQUOTE></DD><DD><P>Toggles whether the panel allows to configure system parameters. </P></DD><DT>option</DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'object'</SPAN> option(update time: </CODE><CODE>+<I>I</I></CODE><CODE><SPAN class="keyword"><=</SPAN>_<BR> mouse: </CODE><CODE>+<I>B</I></CODE><CODE><SPAN class="keyword"><=</SPAN>_)}</CODE></BLOCKQUOTE><P> <A name="label15"></A></P></BLOCKQUOTE></DD><DD><P>Sets the parameters for updating as described in <A href="node6.html#chapter.menu.options">Section 2.2</A>. </P></DD><DT>option</DT><DD><BLOCKQUOTE class="synopsis"><P></P><BLOCKQUOTE class="code"><CODE>{Panel<SPAN class="keyword">.</SPAN><SPAN class="string">'object'</SPAN> option(history range: </CODE><CODE>+<I>I</I></CODE><CODE><SPAN class="keyword"><=</SPAN>_)</CODE></BLOCKQUOTE><P> <A name="label17"></A></P></BLOCKQUOTE></DD><DD><P>Sets the parameters for the history range as described in <A href="node6.html#chapter.menu.options">Section 2.2</A>.</P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node6.html#chapter.menu"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="idx.html#label18">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>
|