def dock_frame_factory(parent, width, height, floating=None, x=None, y=None):
frame = DockFrame()
frame.set_size_request(int(width), int(height))
if floating == 'true':
window = gtk.Window(gtk.WINDOW_TOPLEVEL)
#self.window.set_type_hint(gdk.WINDOW_TYPE_HINT_UTILITY)
window.set_property('skip-taskbar-hint', True)
window.move(int(x), int(y))
window.add(frame)
window.set_transient_for(parent)
window.show()
else:
parent.add(frame)
frame.show()
return frame
def default_window(n_groups):
world.window = gtk.Window(gtk.WINDOW_TOPLEVEL)
world.window.set_default_size(800, 150)
world.frame = DockFrame()
world.window.add(world.frame)
world.layout = DockLayout()
world.layout.add(world.frame)
paned = DockPaned()
world.frame.add(paned)
world.window.show()
world.frame.show()
paned.show()
world.groups = []
for i in range(int(n_groups)):
group = DockGroup()
paned.add(group)
group.show()
world.groups.append(group)
