diff options
Diffstat (limited to 'math/py-gato/files/patch-Gred.py')
| -rw-r--r-- | math/py-gato/files/patch-Gred.py | 28 |
1 files changed, 21 insertions, 7 deletions
diff --git a/math/py-gato/files/patch-Gred.py b/math/py-gato/files/patch-Gred.py index 0eb1005f69ca..a02164cebbc5 100644 --- a/math/py-gato/files/patch-Gred.py +++ b/math/py-gato/files/patch-Gred.py @@ -1,5 +1,11 @@ ---- Gred.py.orig Fri Dec 5 13:08:46 2003 -+++ Gred.py Thu Dec 18 00:43:24 2003 +--- Gred.py Fri Jan 20 15:15:55 2006 ++++ Gred.py Wed Mar 8 12:28:28 2006 +@@ -1,4 +1,4 @@ +-#!/usr/bin/env python2.3 ++#!/usr/bin/env python + ################################################################################ + # + # This file is part of Gato (Graph Animation Toolbox) @@ -34,17 +34,17 @@ # last change by $Author: schliep $. # @@ -8,13 +14,13 @@ -import GatoGlobals # Needed for help viewer.XXX -from Graph import Graph -from DataStructures import EdgeWeight, VertexWeight --from GraphUtil import OpenCATBoxGraph, OpenGMLGraph, SaveCATBoxGraph, WeightedGraphInformer +-from GraphUtil import OpenCATBoxGraph, OpenGMLGraph, OpenDotGraph, SaveCATBoxGraph, WeightedGraphInformer -from GraphEditor import GraphEditor +from Gato.GatoGlobals import * +import Gato.GatoGlobals # Needed for help viewer.XXX +from Gato.Graph import Graph +from Gato.DataStructures import EdgeWeight, VertexWeight -+from Gato.GraphUtil import OpenCATBoxGraph, OpenGMLGraph, SaveCATBoxGraph, WeightedGraphInformer ++from Gato.GraphUtil import OpenCATBoxGraph, OpenGMLGraph, OpenDotGraph, SaveCATBoxGraph, WeightedGraphInformer +from Gato.GraphEditor import GraphEditor from Tkinter import * import tkFont @@ -27,13 +33,21 @@ from ScrolledText import * from tkFileDialog import askopenfilename, asksaveasfilename -@@ -55,7 +55,8 @@ +@@ -55,7 +55,7 @@ import sys import os -import GraphCreator, Embedder -+from Gato import GraphCreator -+from Gato import Embedder ++from Gato import GraphCreator, Embedder class GredSplashScreen(GatoDialogs.SplashScreen): +@@ -843,7 +843,7 @@ + ## globals()['gVertexRadius'] = 12 + ## globals()['gVertexFrameWidth'] = 0 + ## globals()['gEdgeWidth'] = 2 +- GatoGlobals.cVertexDefault = '#000099' ++ Gato.GatoGlobals.cVertexDefault = '#000099' + ## globals()['cEdgeDefault'] = '#999999' + ## globals()['cLabelDefault'] = 'white' + |