<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD><TITLE>4 GUI Configuration</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="node3.html#chapter.interactive"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.configure">Next >></A></TD></TR></TABLE><DIV id="chapter.gui"><H1><A name="chapter.gui">4 GUI Configuration</A></H1><P> The Inspector is widely user configurable. The options are basically organized in two groups as follows: </P><UL><LI><P>Structure-related options control what node representation the Inspector chooses for a given value. These include the traversal limits, mode (tree or graph) and the mapping details. </P></LI><LI><P>Appearance-related options control the display style to use, such as fonts, colors, and subtree alignment, i. e., how subtrees are arranged. </P></LI></UL><P> </P><P> Since the Inspector handles more than one widget, the user can specify whether the settings should affect all widgets or the active widget only. </P><P> This chapter explains how to navigate through the graphical configuration dialog. </P><DIV id="section.gui.structure"><H2><A name="section.gui.structure">4.1 Structure Settings</A></H2><P> <A href="node4.html#figure.dialog">Figure 4.1</A> shows the structure-related options. </P><DIV id="figure.dialog"><HR><P><A name="figure.dialog"></A></P><DIV align="center"><IMG alt="" src="dialog1.gif"></DIV><P class="caption"><STRONG>Figure 4.1:</STRONG> The selection dialog: ``Structure'' tab</P><HR></DIV><P> </P><P class="margin">Traversal</P><P> The ``Traversal'' box allows to change the default exploration limits for newly inspected values. See <A href="node3.html#section.interactive.exploration">Section 3.2.1</A> for details on how these parameters are used. </P><P class="margin">Representation</P><P> The ``Representation'' box allows to configure the traversal mode. In <EM>tree mode</EM>, all structures are displayed as their (possibly infinite) tree unrolling, up to the traversal limits. In particular, this mode does not detect cycles. In contrast, <EM>relation mode</EM> both detects cycles and shared substructure. Relation mode also requires to select the equivalence relation to use. (Note that the corresponding combo box is active only when relation mode is selected.) </P><P> By default, the following equivalence relations are supported: The default of ``token equality'' uses <CODE>System<SPAN class="keyword">.</SPAN>eq</CODE>, while ``structural equality'' is unification-based. See <A href="node5.html#section.configure.relations">Section 5.6</A> for details on how to add new relations. </P><P class="margin">Mapping</P><P> The ``Mapping'' box allows to change the assignment of auto-mappings for the selected type. A type is selected via the corresponding combo box to the right (see <A href="node4.html#figure.dialog">Figure 4.1</A>). </P><P> Auto-mappings can be deactivated or activated for specific types by first selecting the type, then either clicking ``No default mapping'' or ``Apply'', respectively. The latter then requires to select one of the registered mapping functions for that type. (Note again that the corresponding combo box box is active only if ``Apply'' is selected.) </P><P> See <A href="node5.html#section.configure.mappings">Section 5.5.2</A> for details on how to add new mappings. </P></DIV><H2><A name="label12">4.2 Appearance Settings</A></H2><P> <A href="node4.html#figure.appearance">Figure 4.2</A> shows the appearance-related options. It should be self-explanatory. </P><DIV id="figure.appearance"><HR><P><A name="figure.appearance"></A></P><DIV align="center"><IMG alt="" src="dialog2.gif"></DIV><P class="caption"><STRONG>Figure 4.2:</STRONG> The selection dialog: ``Appearance'' tab</P><HR></DIV><P> </P><H2><A name="label13">4.3 Configuration Range</A></H2><P> <A href="node4.html#figure.range">Figure 4.3</A> shows the options controlling the applicability of the settings made on the previous tabs. Again, this should be self-explanatory. </P><P> </P><DIV id="figure.range"><HR><P><A name="figure.range"></A></P><DIV align="center"><IMG alt="" src="dialog3.gif"></DIV><P class="caption"><STRONG>Figure 4.3:</STRONG> The selection dialog: Range tab</P><HR></DIV><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node3.html#chapter.interactive"><< Prev</A></TD><TD><A href="index.html">- Up -</A></TD><TD><A href="node5.html#chapter.configure">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~bruni/">Thorsten Brunklaus</A><BR><SPAN class="version">Version 1.4.0 (20090610)</SPAN></ADDRESS></BODY></HTML>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
bd5c3d824c3db63ffd9226c15941e6ad
>
files
>
1414
