+ global cycle_popup_list
+ if cycle_popup_list:
+ global _list_widget, _list_labels
+ if not _list_widget: # make the widget list
+ style = ob.openbox.screen(data.screen).style()
+ _list_widget = otk.Widget(ob.openbox, style,
+ otk.Widget.Vertical, 0,
+ style.bevelWidth(), 1)
+ t = style.labelFocusBackground()
+ _list_widget.setTexture(t)
+
+ titles = []
+ font = style.labelFont()
+ height = font.height()
+ longest = 0
+ for c in _clients:
+ client = ob.openbox.findClient(c)
+ screen = ob.openbox.screen(data.screen)
+ desktop = screen.desktop()
+ if client and (client.desktop() == desktop and \
+ client.normal()):
+ t = client.title()
+ titles.append(t)
+ _list_windows.append(c)
+ l = font.measureString(t)
+ if l > longest: longest = l
+ if len(titles):
+ for t in titles:
+ w = otk.FocusLabel(_list_widget)
+ w.resize(longest, height)
+ w.setText(t)
+ w.unfocus()
+ _list_labels.append(w)
+ _list_labels[0].focus()
+ _list_widget.update()
+ area = screen.area()
+ _list_widget.move(area.x() + (area.width() -
+ _list_widget.width()) / 2,
+ area.y() + (area.height() -
+ _list_widget.height()) / 2)
+ _list_widget.show(1)
+ else:
+ _list_widget = 0 #nothing to list
+