Module: Gato

./Gato.py

Imported modules

from GatoGlobals import *
from GatoUtil import *
from GraphUtil import *
from Tkinter import *

Functions

WMExtrasGeometry

WMExtrasGeometry ( window )

Returns (top,else) where - top is the amount of extra pixels the WM puts on top of the window - else is the amount of extra pixels the WM puts everywhere else around the window

NOTE: Does not work with tk8.0 style menus, since those are handled by WM (according to Tk8.1 docs)

put someplace else

Classes

AlgoWin	Provide GUI with main menubar for displaying and controlling
Algorithm	Provides all services necessary to load an algorithm, run it
AlgorithmDebugger	Internal Bdb subclass to allow debugging of algorithms

Table of Contents

This document was automatically generated on Mon Apr 9 16:05:07 2001 by HappyDoc version r0_9_2