Changeset 12773
- Timestamp:
- 02.11.2009 17:50:50 (3 weeks ago)
- Files:
-
- 1 modified
-
trunk/GUI/displayDependencyGraph.hs (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/GUI/displayDependencyGraph.hs
r11709 r12773 28 28 29 29 -- for graph display 30 import DaVinciGraph31 import Graph Disp32 import Graph Configure30 import UDrawGraph.Graph 31 import Graphs.GraphDisp 32 import Graphs.GraphConfigure 33 33 34 34 -- for windows display 35 import TextDisplay36 import Configuration (size)37 import Events (sync)38 import Destructible (destroy, destroyed)39 import qualified HTk 35 import HTk.Toolkit.TextDisplay 36 import HTk.Kernel.Configuration (size) 37 import Events.Events (sync) 38 import Events.Destructible (destroy, destroyed) 39 import qualified HTk.Toplevel.HTk as HTk 40 40 41 41 import qualified Data.Map as Map