galapagos-website/www/gui.html

74 lines
2.5 KiB
HTML

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<TITLE>Galapago - GUI</TITLE>
<META NAME="Author" CONTENT="">
<META NAME="GENERATOR" CONTENT="Mozilla/3.01Gold (Win95; I) [Netscape]">
</HEAD>
<BODY background=stone.jpg>
<CENTER>
<A href="extensions.html"><IMG border=0 src=prev.gif ALT=" [PREV] "></A>
<A href="implementation.html"><IMG border=0 src=next.gif ALT=" [PREV] "></A>
<A href="index.html#toc"><IMG border=0 src=toc.gif ALT=" [PREV] "></A>
</CENTER>
<HR width=80% align=right color=blue>
<P>
<H1 ALIGN=CENTER><A NAME="top"></A>THE INTERACTIVE GUI</H1>
<HR>
<P>In order to make Galapagos more fun to learn with, an interactive GUI
(Graphical User Interface) is provided. Users can make changes on the board
while a computation is in progress and effect its execution. Drawing tools
enable the user to draw on the board while a program is being executed.
If a line is drawn in front of a turtle which has a relevant interrupt,
the interrupt will be invoked if needed.<BR>
</P>
<P>The user has a special <I>user pen</I> that can draw line, rectangles
or free hand. These modes are available from the toolbar. The User's pen
width and color can be modified using the User Pen menu or the toolbar.<BR>
</P>
<P>Color buttons are provided on the toolbar to give a known RGB color
to the user pen. It is useful when the user draw an object on the board
and wants a turtle to see this object. The colors are: </P>
<P>White - (255 255 255) </P>
<P>Black - (0 0 0) </P>
<P><FONT COLOR="#0000FF">Blue</FONT> - (0 0 255) </P>
<P><FONT COLOR="#FF0000">Red</FONT> - (255 0 0) </P>
<P><FONT COLOR="#00FF00">Green</FONT> - (0 255 0) </P>
<P><FONT COLOR="#FFFF00">Yellow</FONT> - (255 255 0)<BR>
</P>
<P>Another option available is changing a turtle's heading and position,
using the Move Turtle button: </P>
<CENTER><P><IMG border=0 SRC="img00010.gif" HEIGHT=33 WIDTH=37><BR>
</P></CENTER>
<P>If this button is pressed then a turtle can be dragged to a new location
simply by dragging it with the mouse. In order to change the turtle's heading,
hold down a control key and move the move towards the desired location,
the turtle will follow the movement of the mouse. </P>
<P>
<HR width=80% align=left color=blue>
<CENTER>
<A href="#top"><IMG border=0 src=back.gif ALT=" [TOP] "></A>
<A href="extensions.html"><IMG border=0 src=prev.gif ALT=" [PREV] "></A>
<A href="implementation.html"><IMG border=0 src=next.gif ALT=" [PREV] "></A>
<A href="index.html#toc"><IMG border=0 src=toc.gif ALT=" [PREV] "></A>
</CENTER>
</BODY>
</HTML>