<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

<script type="text/javascript">

var tiki_cookie_jar = new Array();

tiki_cookie_jar = {

};

<script type="text/javascript" src="lib/tiki-js.js"></script><title>JGEX Documentation : The Interface of JGEX</title>

<link rel="StyleSheet" href="lib/1.css" type="text/css">

<link rel="StyleSheet" href="styles/cindydoc.css" type="text/css">

<link rel="alternate" type="application/xml" title="RSS Wiki" >

<style type="text/css">

<!--

.style2 {font-size: 18px}

<div id="overDiv" style="position: absolute; visibility: hidden; z-index: 1000;"></div>

<script type="text/javascript" language="JavaScript" src="lib/overlib.js"></script>

<div id="tiki-clean">

<div id="tiki-mid">

<div class="wikitopline"></div>

<div class="wikitext">

<h2>The Interface of JGEX. </h2>

<p><img src="images3/jgex.gif" width="802" height="645" border="1" /><br />

</p>

<p class="wiki">1. The Title Bar</p>

<p> The title bar locates at the top of the window. It shows the name of the software. If a file is loaded, it shows the file name as well. </p>

<p class="wiki">2. The Main Menu</p>

<p>The main menu of JGEX contains almost all the action of the program. </p>

<p class="wiki">3. The Toolbar for Prover</p>

<p>The toolbar for the prover contains some common used action for the prover. </p>

<p class="wiki">4. The Main Toolbar</p>

<p>The main toolbar contains some commonly used actions for drawing. </p>

<p class="wiki">5. The Right Toolbar</p>

<p>The right toolbar contains some actions to manipulate the diagram. </p>

<p class="wiki">6. The Prove Pane</p>

<p>The prove pane is for creating and viewing proofs. </p>

<p class="wiki">7. The Tabbed Button</p>

<p>The tabbed button let the user can switch between different pane. </p>

<p class="wiki">8. The Drawing Pane</p>

<p>The drawing pane is the pane for drawing and viewing the diagram. </p>

<p class="wiki">9. The Bottom Pane. </p>

<p>The bottom pane is used for providing some useful information for the user. </p>

<p>&nbsp;</p>

<p>&nbsp;</p>

<p>&nbsp;</p>

<p>&nbsp;</p>

<p>&nbsp;</p>

<p>&nbsp;</p>

</div>

<p class="editdate">JGEX Help </p>