KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Use basenames for default window title

Browse Source
This commit is contained in:
Kovid Goyal
2018-06-11 12:39:13 +05:30
parent 4711746f8f
commit c04e1aedb2
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
kitty/window.py
View File

@@ -3,6 +3,7 @@
# License: GPL v3 Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net> # License: GPL v3 Copyright: 2016, Kovid Goyal <kovid at kovidgoyal.net>
import json import json
import os
import sys import sys
import weakref import weakref
from collections import deque from collections import deque
@@ -27,8 +28,8 @@ from .keys import keyboard_mode_name
from .rgb import to_color from .rgb import to_color
from .terminfo import get_capabilities from .terminfo import get_capabilities
from .utils import ( from .utils import (
color_as_int, get_primary_selection, load_shaders, open_cmd, color_as_int, get_primary_selection, load_shaders, open_cmd, open_url,
open_url, parse_color_set, sanitize_title, set_primary_selection parse_color_set, sanitize_title, set_primary_selection
) )
@@ -97,7 +98,7 @@ class Window:
self.override_title = override_title self.override_title = override_title
self.overlay_window_id = None self.overlay_window_id = None
self.overlay_for = 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.child_title = self.default_title
self.id = add_window(tab.os_window_id, tab.id, self.title) self.id = add_window(tab.os_window_id, tab.id, self.title)
self.clipboard_control_buffers = {'p': '', 'c': ''} self.clipboard_control_buffers = {'p': '', 'c': ''}