def __init__(self, action=None):
GllPlugin.__init__(self, action)
self.lenses = []
self.region = None
self.main_widget = gtk.DrawingArea()
self.main_widget.set_size_request(400, 300)
self.main_widget.connect("expose-event", self.draw)
self.main_widget.show()
def set_config(self, config):
config.setdefault("export_kernel", True)
GllPlugin.set_config(self, config)
def set_config(self, config):
config.setdefault("export_kernel", True)
GllPlugin.set_config(self, config)
