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/profile-editor.h | |
| 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/profile-editor.h')
0 files changed, 0 insertions, 0 deletions