From 1c96f258b115696d03484f17e6f8d04f5fe80753 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Tue, 25 Aug 2015 00:37:49 +0800 Subject: [PATCH] gui: show server in window title --- artiq/frontend/artiq_gui.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/artiq/frontend/artiq_gui.py b/artiq/frontend/artiq_gui.py index 3811ce6b2..f6fbf7ebb 100755 --- a/artiq/frontend/artiq_gui.py +++ b/artiq/frontend/artiq_gui.py @@ -45,10 +45,10 @@ def get_argparser(): class MainWindow(QtGui.QMainWindow): - def __init__(self, app): + def __init__(self, app, server): QtGui.QMainWindow.__init__(self) self.setWindowIcon(QtGui.QIcon(os.path.join(data_dir, "icon.png"))) - self.setWindowTitle("ARTIQ") + self.setWindowTitle("ARTIQ - {}".format(server)) self.exit_request = asyncio.Event() def closeEvent(self, *args): @@ -77,7 +77,7 @@ def main(): args.server, args.port_control, "master_schedule")) atexit.register(lambda: schedule_ctl.close_rpc()) - win = MainWindow(app) + win = MainWindow(app, args.server) area = dockarea.DockArea() smgr.register(area) smgr.register(win)