def viewChangedCallback(self, widget=None, data=None):
self.combo_space.destroy()
view = self.combo_view.getSelected()
if view is None:
return
if not view.isFullyLoaded():
view.addCallback(self.viewChangedCallback)
view.loadFull()
return
view.removeCallback(self.viewChangedCallback)
page = view.getPage()
self.combo_space = SpaceCombo(self,page)
self.combo_space.show()
self.table.attach(self.combo_space,1,2,1,2,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
class ViewGenerationControl(gtk.Frame):
def __init__(self, par, widget):
self.par = par
gtk.Frame.__init__(self)
self.widgetId = widget.getLocalId()
self._change_for_render = False
self.toggle = gtk.CheckButton(_("Automatically generate Views"))
self.set_label_widget(self.toggle)
self.table = gtk.Table(3,3,False)
self.label_view = gtk.Label(_("Baseview:"))
self.label_space = gtk.Label(_("Targetspace:"))
self.combo_view = ObjectCombo(self,
View,
selectFirst=True,
noneElement=True,
virtualRootObject=widget.getModule().getModules().getSkarphed())
self.combo_space = gtk.ComboBox()
self.savebutton = gtk.Button(stock=gtk.STOCK_SAVE)
self.dummy = gtk.Label("")
self.table.attach(self.label_view,0,1,0,1,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
self.table.attach(self.combo_view,1,2,0,1,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
self.table.attach(self.label_space,0,1,1,2,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
self.table.attach(self.combo_space,1,2,1,2,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
self.table.attach(self.savebutton,1,2,2,3,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
self.table.attach(self.dummy,2,3,0,3,gtk.FILL|gtk.EXPAND, gtk.FILL|gtk.EXPAND)
self.combo_view.connect("changed", self.viewChangedCallback)
self.savebutton.connect("clicked", self.saveCallback)
self.toggle.connect("toggled", self.toggleCallback)
self.add(self.table)
widget.addCallback(self.render)
self.render()
def render(self):
try:
widget = self.getApplication().getLocalObjectById(self.widgetId)
except GenericObjectStoreException:
self.destroy()
return
active = widget.isGeneratingViews()
self._change_for_render = True
self.toggle.set_active(active)
self._change_for_render = False
self.combo_view.set_sensitive(active)
self.combo_space.set_sensitive(active)
self.savebutton.set_sensitive(active)
if active:
self.combo_view.setSelected(widget.getBaseView())
try:
self.combo_space.setSpaceId(widget.getBaseSpaceId())
except AttributeError: pass
else:
self.combo_view.setSelected(None)
try:
self.combo_space.setSpaceId(None)
except AttributeError: pass
def toggleCallback(self, widget=None, data=None):
try:
widget = self.getApplication().getLocalObjectById(self.widgetId)
except GenericObjectStoreException:
self.destroy()
return
if self._change_for_render:
self._change_for_render = False
return
if not self.toggle.get_active():
widget.deactivateGeneratingViews()
else:
self.combo_view.set_sensitive(True)
self.combo_space.set_sensitive(True)
self.savebutton.set_sensitive(True)
def saveCallback(self, widget=None, data=None):
try:
widget = self.getApplication().getLocalObjectById(self.widgetId)
except GenericObjectStoreException:
self.destroy()
return
widget.activateGeneratingViews(self.combo_view.getSelected(), self.combo_space.getSpaceId())
def viewChangedCallback(self, widget=None, data=None):
self.combo_space.destroy()
view = self.combo_view.getSelected()
if view is None:
return
if not view.isFullyLoaded():
view.addCallback(self.viewChangedCallback)
view.loadFull()
return
view.removeCallback(self.viewChangedCallback)
page = view.getPage()
self.combo_space = SpaceCombo(self,page)
self.combo_space.show()
self.table.attach(self.combo_space,1,2,1,2,gtk.FILL|gtk.SHRINK, gtk.FILL|gtk.SHRINK)
def getApplication(self):
return self.getPar().getApplication()
def getPar(self):
return self.par