diff 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
line wrap: on
line diff
--- a/frontends/primitivus/gateways.py	Thu Aug 12 18:27:42 2010 +0800
+++ b/frontends/primitivus/gateways.py	Thu Aug 12 19:35:56 2010 +0800
@@ -29,6 +29,8 @@
 
     def __init__(self, host, gateways, title=_("Gateways manager"), server=None):
         QuickGatewaysManager.__init__(self, host, gateways, server)
+        if server:
+            title+=" (%s)" % server
         widget_list = urwid.SimpleListWalker([])
         widget_list.append(urwid.Text(self.WARNING_MSG))
         widget_list.append(urwid.Divider('-'))