comparison frontends/primitivus/gateways.py @ 175:8537df794f74

Primitivus: gateways: current server is now shown in title
author Goffi <goffi@goffi.org>
date Thu, 12 Aug 2010 19:35:56 +0800
parents ec6611445a5b
children 3198bfd66daa
comparison
equal deleted inserted replaced
174:fbae69247b15 175:8537df794f74
27 27
28 class GatewaysManager(urwid.WidgetWrap, QuickGatewaysManager): 28 class GatewaysManager(urwid.WidgetWrap, QuickGatewaysManager):
29 29
30 def __init__(self, host, gateways, title=_("Gateways manager"), server=None): 30 def __init__(self, host, gateways, title=_("Gateways manager"), server=None):
31 QuickGatewaysManager.__init__(self, host, gateways, server) 31 QuickGatewaysManager.__init__(self, host, gateways, server)
32 if server:
33 title+=" (%s)" % server
32 widget_list = urwid.SimpleListWalker([]) 34 widget_list = urwid.SimpleListWalker([])
33 widget_list.append(urwid.Text(self.WARNING_MSG)) 35 widget_list.append(urwid.Text(self.WARNING_MSG))
34 widget_list.append(urwid.Divider('-')) 36 widget_list.append(urwid.Divider('-'))
35 for gateway in gateways: 37 for gateway in gateways:
36 self.addGateway(widget_list,gateway, gateways[gateway]) 38 self.addGateway(widget_list,gateway, gateways[gateway])