diff options
| author | monsta <[email protected]> | 2016-09-28 21:05:46 +0300 |
|---|---|---|
| committer | monsta <[email protected]> | 2016-09-28 21:05:46 +0300 |
| commit | 448be7a26fc1c525d467a9e39a54533b1c262582 (patch) | |
| tree | 23b97589e006f7e2f905cc0626acb8308bc4b852 /src/profile-manager.ui | |
| parent | 8fdadba38082465cc9cf2df5e9af5436190240c6 (diff) | |
| download | mate-terminal-448be7a26fc1c525d467a9e39a54533b1c262582.tar.bz2 mate-terminal-448be7a26fc1c525d467a9e39a54533b1c262582.tar.xz | |
fix crash after detaching tab and then changing its title
fixes https://github.com/mate-desktop/mate-terminal/issues/131
thanks to @egmontkob for the patch:
https://git.gnome.org/browse/gnome-terminal/commit/?id=f65261a0b5d03658be3acb439976fd8af6fa28ea
Diffstat (limited to 'src/profile-manager.ui')
0 files changed, 0 insertions, 0 deletions