changeset 158 | 771578d7580e |
parent 147 | ccc5e683583d |
child 165 | f9c6c9e36725 |
--- a/plugins/svgui/svgui.py Mon May 26 15:00:10 2008 +0200 +++ b/plugins/svgui/svgui.py Mon May 26 15:01:32 2008 +0200 @@ -115,6 +115,9 @@ self.CreateNewInterface() self.SetFilePath(filepath) + def IsGUIPlugin(self): + return True + def GetElementIdFromName(self, name): element = self.GetElementByName(name) if element is not None: