diff options
| author | Joe Wilm <joe@jwilm.com> | 2017-01-10 21:21:19 -0800 |
|---|---|---|
| committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-01-11 09:07:31 -0800 |
| commit | dfb1b3bb5c5e9d9d9ee23f3f5bcc84fe6602392d (patch) | |
| tree | fd1cbff66bbc40993ddcb89a6b62e53f06652e79 /src/display.rs | |
| parent | 4fb7801ba3515922e3dbb8b27c1c28ec2efaf22b (diff) | |
| download | alacritty-dfb1b3bb5c5e9d9d9ee23f3f5bcc84fe6602392d.tar.gz alacritty-dfb1b3bb5c5e9d9d9ee23f3f5bcc84fe6602392d.zip | |
Add support for setting title from OSC
Resolves #23
Resolves #144
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 dccbd7fe..5aa3bac4 100644 --- a/src/display.rs +++ b/src/display.rs @@ -272,6 +272,10 @@ impl Display { // Clear dirty flag terminal.dirty = false; + if let Some(title) = terminal.get_next_title() { + self.window.set_title(&title); + } + { let glyph_cache = &mut self.glyph_cache; // Draw grid |