diff options
author | monsta <[email protected]> | 2016-01-20 11:23:36 +0300 |
---|---|---|
committer | monsta <[email protected]> | 2016-01-20 12:11:17 +0300 |
commit | bc0ff5afa554f358ec2b395673bd1a915536eeb1 (patch) | |
tree | e4fd017b6ed1ecf73049968335eae82345d1fe3c /src/terminal-type-builtins.h.template | |
parent | 4ef8ebf3a36535bd46fe40c7c7a1288f45dcae84 (diff) | |
download | mate-terminal-bc0ff5afa554f358ec2b395673bd1a915536eeb1.tar.bz2 mate-terminal-bc0ff5afa554f358ec2b395673bd1a915536eeb1.tar.xz |
[GTK+3] fix deprecated usage of GtkMisc and don't set padding
default value of "margin" property is zero anyway
Diffstat (limited to 'src/terminal-type-builtins.h.template')
0 files changed, 0 insertions, 0 deletions