diff options
author | Johann Visagie <wjv@FreeBSD.org> | 2001-09-03 10:45:18 +0000 |
---|---|---|
committer | Johann Visagie <wjv@FreeBSD.org> | 2001-09-03 10:45:18 +0000 |
commit | 89bcea86393caf6987e10665199d3effcd482f33 (patch) | |
tree | 9d131d74f511d76562ad1b4707457deebb8575c4 /math/py-gato/files/patch-Gred.py | |
parent | Upgrade to v2.0. (diff) |
Add py-gato 0.96.g, a Python-based toolbox to visualise algorithms
on graphs.
Notes
Notes:
svn path=/head/; revision=47357
Diffstat (limited to 'math/py-gato/files/patch-Gred.py')
-rw-r--r-- | math/py-gato/files/patch-Gred.py | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/math/py-gato/files/patch-Gred.py b/math/py-gato/files/patch-Gred.py new file mode 100644 index 000000000000..cc10c754f8cd --- /dev/null +++ b/math/py-gato/files/patch-Gred.py @@ -0,0 +1,38 @@ +--- Gred.py.orig Wed May 16 13:16:58 2001 ++++ Gred.py Mon Sep 3 12:01:13 2001 +@@ -31,16 +31,16 @@ + # last change by $Author: schliep $. + # + ################################################################################ +-from Graph import Graph +-from DataStructures import EdgeWeight, VertexWeight +-from GraphUtil import OpenCATBoxGraph, OpenGMLGraph, SaveCATBoxGraph, WeightedGraphInformer +-from GraphEditor import GraphEditor ++from Gato.Graph import Graph ++from Gato.DataStructures import EdgeWeight, VertexWeight ++from Gato.GraphUtil import OpenCATBoxGraph, OpenGMLGraph, SaveCATBoxGraph, WeightedGraphInformer ++from Gato.GraphEditor import GraphEditor + from Tkinter import * +-from GatoUtil import stripPath, extension, gatoPath +-from GatoGlobals import * +-import GatoDialogs +-import GatoGlobals +-import GatoIcons ++from Gato.GatoUtil import stripPath, extension, gatoPath ++from Gato.GatoGlobals import * ++from Gato import GatoDialogs ++from Gato import GatoGlobals ++from Gato import GatoIcons + from ScrolledText import * + + from tkFileDialog import askopenfilename, asksaveasfilename +@@ -51,7 +51,8 @@ + import sys + import os + +-import GraphCreator, Embedder ++from Gato import GraphCreator ++from Gato import Embedder + + class GredSplashScreen(GatoDialogs.SplashScreen): + |