{- | Module : ./GUI/UDGUtils.hs Description : wrapper for uDrawGraph utilities from the uniform workbench Copyright : (c) Christian Maeder DFKI Bremen 2008 License : GPLv2 or higher, see LICENSE.txt Maintainer : Christian.Maeder@dfki.de Stability : provisional Portability : non-portable uDrawGraph display -} module GUI.UDGUtils ( module X ) where import UDrawGraph.Graph as X import UDrawGraph.Basic as X import Graphs.GraphDisp as X import Graphs.GraphConfigure as X import Util.Broadcaster as X import Util.Sources as X