diff options
| author | raveit65 <[email protected]> | 2016-06-11 18:03:09 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-06-11 21:09:24 +0200 |
| commit | f15b90f66bdc562b62837d1389e92608439f6b30 (patch) | |
| tree | 22f72e152ee8d62f076d81815552f962f028a4c9 /src/profile-manager.ui | |
| parent | c6fba6db82e8f427bb573f36578b99f12d6968f9 (diff) | |
| download | mate-terminal-f15b90f66bdc562b62837d1389e92608439f6b30.tar.bz2 mate-terminal-f15b90f66bdc562b62837d1389e92608439f6b30.tar.xz | |
Borrow pluma-close-button class and use it.
This is a subclass of GtkButton special theming for the close button.
taken from:
https://git.gnome.org/browse/gnome-terminal/commit/src?h=gnome-3-8&id=c3a3e06
https://git.gnome.org/browse/gnome-terminal/diff/src/terminal-close-button.c?h=gnome-3-8&id=2bff4b6
Diffstat (limited to 'src/profile-manager.ui')
0 files changed, 0 insertions, 0 deletions