From c04e1aedb2ddb1f61fbe59faf682668c1bd1c9ea Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 11 Jun 2018 12:39:13 +0530 Subject: [PATCH] Use basenames for default window title --- kitty/window.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/kitty/window.py b/kitty/window.py index 3d36ff40a..0101508d1 100644 --- a/kitty/window.py +++ b/kitty/window.py @@ -3,6 +3,7 @@ # License: GPL v3 Copyright: 2016, Kovid Goyal import json +import os import sys import weakref from collections import deque @@ -27,8 +28,8 @@ from .keys import keyboard_mode_name from .rgb import to_color from .terminfo import get_capabilities from .utils import ( - color_as_int, get_primary_selection, load_shaders, open_cmd, - open_url, parse_color_set, sanitize_title, set_primary_selection + color_as_int, get_primary_selection, load_shaders, open_cmd, open_url, + parse_color_set, sanitize_title, set_primary_selection ) @@ -97,7 +98,7 @@ class Window: self.override_title = override_title self.overlay_window_id = None self.overlay_for = None - self.default_title = child.argv[0] or appname + self.default_title = os.path.basename(child.argv[0] or appname) self.child_title = self.default_title self.id = add_window(tab.os_window_id, tab.id, self.title) self.clipboard_control_buffers = {'p': '', 'c': ''}