diff options
author | Gary E. Miller <gem@rellim.com> | 2017-07-27 13:55:39 -0700 |
---|---|---|
committer | Gary E. Miller <gem@rellim.com> | 2017-07-27 13:55:39 -0700 |
commit | ff0f84a7ab1d9d84bc3227917bbba4ed3929a55c (patch) | |
tree | 077a12771d1526f430ea2fe4302795a7ca12523f /xgps | |
parent | d72a5217f267cf192b724de88b458d6f9c0b9bea (diff) | |
download | gpsd-ff0f84a7ab1d9d84bc3227917bbba4ed3929a55c.tar.gz |
xgps: tweak window title
Diffstat (limited to 'xgps')
-rwxr-xr-x | xgps | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -502,7 +502,9 @@ class Base(object): self.window = Gtk.Window(Gtk.WindowType.TOPLEVEL) if not self.window.get_display(): raise Exception("Can't open display") - self.window.set_title(" ".join(["xgps"] + target)) + if len(target): + target = " " + target + self.window.set_title("xgps" + target) self.window.connect("delete_event", self.delete_event) self.window.set_resizable(False) @@ -949,7 +951,7 @@ if __name__ == "__main__": port = args[1] if len(args) >= 3: device = args[2] - target = arguments[0:] + target = ":".join(arguments[0:]) else: target = "" |