Module: Gato

./Gato.py

Imported modules

from GatoConfiguration import GatoConfiguration
from GatoDialogs import AboutBox, SplashScreen, HTMLViewer
from GatoGlobals import *
import GatoIcons
from GatoUtil import *
from Graph import Graph
from GraphDisplay import GraphDisplayToplevel
from GraphUtil import *
from ScrolledText import ScrolledText
import StringIO
from Tkinter import *
import bdb
import os
import re
import string
import sys
from tkFileDialog import askopenfilename, asksaveasfilename
import tkFont
from tkMessageBox import askokcancel, showerror, askyesno
import tokenize
import traceback
import whrandom

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 Fri Mar 15 11:15:02 2002 by HappyDoc version 2.0