mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-03 01:23:49 +00:00
7552069982
- Respect PORTEXAMPLES, NOPORTEXAMPLES - portlint(1) PR: ports/136462 Submitted by: Kouki Hashimoto <hsmtkk AT gmail.com> (based on)
54 lines
1.9 KiB
Python
54 lines
1.9 KiB
Python
--- Gred.py Wed Jul 08 22:14:29 2009 +0900
|
|
+++ Gred.py Wed Jul 08 22:16:07 2009 +0900
|
|
@@ -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 $.
|
|
#
|
|
################################################################################
|
|
-from GatoGlobals import *
|
|
-import GatoGlobals # Needed for help viewer.XXX
|
|
-from Graph import Graph
|
|
-from DataStructures import EdgeWeight, VertexWeight
|
|
-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, OpenDotGraph, SaveCATBoxGraph, WeightedGraphInformer
|
|
+from Gato.GraphEditor import GraphEditor
|
|
from Tkinter import *
|
|
import tkFont
|
|
-from GatoUtil import stripPath, extension, gatoPath
|
|
-import GatoDialogs
|
|
-import GatoIcons
|
|
+from Gato.GatoUtil import stripPath, extension, gatoPath
|
|
+from Gato import GatoDialogs
|
|
+from Gato import GatoIcons
|
|
from ScrolledText import *
|
|
|
|
from tkFileDialog import askopenfilename, asksaveasfilename
|
|
@@ -56,7 +56,7 @@
|
|
import os
|
|
import webbrowser
|
|
|
|
-import GraphCreator, Embedder
|
|
+from Gato import GraphCreator, Embedder
|
|
|
|
class GredSplashScreen(GatoDialogs.SplashScreen):
|
|
|
|
@@ -926,7 +926,7 @@
|
|
## globals()['gVertexRadius'] = 12
|
|
## globals()['gVertexFrameWidth'] = 0
|
|
## globals()['gEdgeWidth'] = 2
|
|
- GatoGlobals.cVertexDefault = '#000099'
|
|
+ Gato.GatoGlobals.cVertexDefault = '#000099'
|
|
## globals()['cEdgeDefault'] = '#999999'
|
|
## globals()['cLabelDefault'] = 'white'
|
|
|