mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-16 13:34:48 +02:00
Add an option to @set-window-title to make the change overridable
This commit is contained in:
@@ -211,6 +211,8 @@ class Window:
|
||||
glfw_post_empty_event()
|
||||
|
||||
def set_title(self, title):
|
||||
if title:
|
||||
title = sanitize_title(title)
|
||||
self.override_title = title or None
|
||||
self.title_updated()
|
||||
|
||||
|
||||
Reference in New Issue
Block a user