;ò òiýDc@sâdkTdfd„ƒYZd„ZdkZd„Zdefd„ƒYZdklZlZl Z d „Z d efd „ƒYZ dk Td efd „ƒYZ defd„ƒYZdkTdkZdkZdklZdklZdeifd„ƒYZd„Zdefd„ƒYZdklZdeifd„ƒYZd„Zdefd„ƒYZdkTdklZdd„Z d „Z!d!„Z"d"efd#„ƒYZ#eƒe ƒe ƒeƒeƒeƒe#ƒgZ$dS($(s*sEmbeddercBs tZdZd„Zd„ZRS(s` This class provides an abstract Embedder as a base for actual Embedder implementations cCsdSdS(sZ Return a short descriptive name for the embedder e.g. usable as a menu item snoneN((sself((s5/mnt/gmirror/ports/math/py-gato/work/Gato/Embedder.pysName-scCstSdS(s‚ Compute the Embedding. Changed display through theGraphEditor. Return value != none designates error/warning message N(snone(sselfstheGraphEditor((s5/mnt/gmirror/ports/math/py-gato/work/Gato/Embedder.pysEmbed2s(s__name__s __module__s__doc__sNamesEmbed(((s5/mnt/gmirror/ports/math/py-gato/work/Gato/Embedder.pysEmbedder)s  cCsR|idƒx>|iiD]0}|i||ii||ii|dƒqWdS(Nii(stheGraphEditorsSetGraphMenuGridsGsverticessvs MoveVertexsxCoordsyCoord(stheGraphEditorsv((s5/mnt/gmirror/ports/math/py-gato/work/Gato/Embedder.pys RedrawGraph7s   NcCs`h|_h|_xC|iD]8}tiddƒ|i|