diff options
| author | Dustin <dustin1114@gmail.com> | 2019-10-17 15:24:21 -0400 |
|---|---|---|
| committer | Christian Duerr <contact@christianduerr.com> | 2019-10-17 21:24:21 +0200 |
| commit | a75e9493449d90b54a140b76f6a96b684784a059 (patch) | |
| tree | c96f337ee460a7f45fddf2378b1afef977d320ea /alacritty/src/display.rs | |
| parent | f1f51d3c0234831131dcaf8e5d63cc906453e51e (diff) | |
| download | r-alacritty-a75e9493449d90b54a140b76f6a96b684784a059.tar.gz r-alacritty-a75e9493449d90b54a140b76f6a96b684784a059.tar.bz2 r-alacritty-a75e9493449d90b54a140b76f6a96b684784a059.zip | |
Fix window title not filled by default
In the config, if `window` is undefined, the derived `Default` for the
String `title` is used, which is an empty String. This was unintended,
and causes issues in gnome-shell (e.g. in the alt-tab dialog) when the
window title is an empty string.
This commit adds a manually implemented default for the `WindowConfig`,
it's the same as the derived `Default`, except for the `title`, which
will now always be "Alacritty" as originally intended.
Diffstat (limited to 'alacritty/src/display.rs')
0 files changed, 0 insertions, 0 deletions