diff options
author | raveit65 <[email protected]> | 2016-06-10 11:20:58 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2016-06-10 11:20:58 +0200 |
commit | 8a4bdad1cc8f40d3bdfda4e40649ce367e4c6903 (patch) | |
tree | 7c25b4c7d66373dac6a192d98dd07e8b34fdeae3 /src/profile-preferences.ui | |
parent | fa9e2facb514bcfe08898b9524e98b22e7243588 (diff) | |
download | mate-terminal-8a4bdad1cc8f40d3bdfda4e40649ce367e4c6903.tar.bz2 mate-terminal-8a4bdad1cc8f40d3bdfda4e40649ce367e4c6903.tar.xz |
Add style-updated handler to TerminalScreen
taken from:
https://git.gnome.org/browse/gnome-terminal/commit/?h=gnome-3-8&id=e8e2367
Diffstat (limited to 'src/profile-preferences.ui')
0 files changed, 0 insertions, 0 deletions