diff options
Diffstat (limited to 'src/display.rs')
-rw-r--r-- | src/display.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/display.rs b/src/display.rs index 8e3d8814..89403194 100644 --- a/src/display.rs +++ b/src/display.rs @@ -327,6 +327,10 @@ impl Display { self.window.set_title(&title); } + if let Some(mouse_cursor) = terminal.get_next_mouse_cursor() { + self.window.set_mouse_cursor(mouse_cursor); + } + if let Some(is_urgent) = terminal.next_is_urgent.take() { // We don't need to set the urgent flag if we already have the // user's attention. |