/usr/share/mozart/doc/browser/node4.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 Browser Commands and Options</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="node2.html#sec.usingthebrowser"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#sec.browser.applicationbrowsers">Next >></A></TD></TR></TABLE><DIV id="sec.browser.browsercommandsandoptions"><H1><A name="sec.browser.browsercommandsandoptions">3 Browser Commands and Options</A></H1><P> The meanings of the menu entries of the Browser are summarized in this section. </P><H2><A name="label151">3.1 The Browser Menu</A></H2><A name="label153"></A><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> <A name="label155"></A></DT><DD><P>Displays a small dialog containg information about the product. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Break</TD><TD align="right">C-c</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label157"></A></DT><DD><P>Stops browsing as soon as possible. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Deselect</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Right mouse click" src="note-gui-r1.gif"></TD></TR></TABLE><DT> <A name="label158"></A> <A name="label160"></A> </DT><DD><P>Deselects the current selection, if any. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Clear</TD><TD align="right">C-u</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label161"></A> <A name="label163"></A></DT><DD><P>Removes all browsed information from the Browser window, if any. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Clear All But Last</TD><TD align="right">C-w</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label164"></A> <A name="label166"></A></DT><DD><P>Removes all browsed information from the Browser window except the last term, if any. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Refine Layout</TD><TD align="right">C-l</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label168"></A></DT><DD><P>Checks the current term layout and optimizes it whenever possible. </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> <A name="label170"></A></DT><DD><P>Closes the Browser.</P></DD></DL><P></P><H2><A name="label171">3.2 The Selection 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" width="85%">Expand</TD><TD align="right">e</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Left mouse double-click" src="note-gui-l2.gif"></TD></TR></TABLE><DT> <A name="label172"></A> <A name="label174"></A></DT><DD><P>Replaces the selected shrunken (sub)term <CODE><SPAN class="keyword">,,,</SPAN></CODE> by a subterm(s), or views further subterm(s) of a partially shown selected (sub)term. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Shrink</TD><TD align="right">s</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Right mouse double-click" src="note-gui-r2.gif"></TD></TR></TABLE><DT> <A name="label176"></A></DT><DD><P>Shrinks the selected (sub)term. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Deref</TD><TD align="right">d</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Middle mouse click" src="note-gui-m1.gif"></TD></TR></TABLE><DT> <A name="label177"></A> <A name="label179"></A></DT><DD><P>If a reference (<CODE>R</CODE><IMG alt="N" src="latex31.png"> or <CODE>C</CODE><IMG alt="N" src="latex31.png">) subterm is selected, the Browser exposes and selects the referenced (sub)term. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Rebrowse</TD><TD align="right">C-b</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label181"></A></DT><DD><P>Removes and creates again a selected (sub)term. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">SetAction</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label183"></A></DT><DD><P>Shows a submemu an action can be choosen from. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left" width="85%">Apply Action</TD><TD align="right">C-p</TD></TR></TABLE></TD><TD><IMG align="middle" alt="Middle mouse click" src="note-gui-m1.gif"></TD></TR></TABLE><DT> <A name="label185"></A></DT><DD><P>Applies the currently set action to the current selection, if any.</P></DD></DL><P></P><H2><A name="label186">3.3 The Options Menu</A></H2><A name="label188"></A><P></P><DL><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Buffer...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label190"></A> <A name="label191"></A> <A name="label192"></A> <A name="label193"></A></DT><DD><P>Creates a dialog used for setting the buffer size. and enabling drawing a graphical separator between shown terms. </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Representation...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label195"></A> <A name="label197"></A> <A name="label199"></A> <A name="label201"></A> <A name="label203"></A> <A name="label205"></A> <A name="label207"></A> <A name="label209"></A> <A name="label211"></A> <A name="label212"></A> <A name="label213"></A> <A name="label214"></A> <A name="label215"></A> <A name="label216"></A> <A name="label217"></A></DT><DD><P>Creates a dialog used for setting the representation mode (building <CODE>Tree</CODE>, <CODE>Graph</CODE> or <CODE>Minimal Graph</CODE>), detail level (for <CODE>Chunks</CODE>, <CODE>Variable Status</CODE> and <CODE>Names And Procedures</CODE>), and type (displaying <CODE>Strings</CODE> or <CODE>Virtual Strings</CODE> as such). </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Display Parameters...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label219"></A> <A name="label221"></A> <A name="label223"></A> <A name="label224"></A> <A name="label225"></A> <A name="label226"></A> <A name="label227"></A></DT><DD><P>Creates a dialog used for setting the browse limits (<CODE>Depth</CODE> and <CODE>Width</CODE>) and the expansion increments (also <CODE>Depth</CODE> and <CODE>Width</CODE>). </P></DD><DT></DT><TABLE><TR><TD><TABLE bgcolor="#cccccc" border="1" cellpadding="3" cellspacing="0" width="130"><TR><TD align="left">Layout...</TD></TR></TABLE></TD><TD></TD></TR></TABLE><DT> <A name="label228"></A> <A name="label229"></A> <A name="label230"></A> <A name="label232"></A></DT><DD><P>Creates a dialog used for setting a font to be used (<CODE>Font Size</CODE> and whether it should be <CODE>Bold</CODE>), as well as setting Browser to show record subterms in one column if they don't fit in one row (that is, to <CODE>Align<BR>Record Fields</CODE>).</P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node2.html#sec.usingthebrowser"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#sec.browser.applicationbrowsers">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.sics.se/~kost/">Konstantin Popov</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|