diff options
| author | Thomas Thurman <tthurman@gnome.org> | 2009-10-19 15:48:18 -0400 |
|---|---|---|
| committer | Thomas Thurman <tthurman@gnome.org> | 2009-10-19 15:48:18 -0400 |
| commit | be234dfad0dc79539fb0aaee28c9924ff3289659 (patch) | |
| tree | 92d3dd96019a258420401fb6402a58f3f2f21f1c /src | |
| parent | d763fe1ff994cd6068142fc1c2546fee7a5d8fc8 (diff) | |
| download | metacity-be234dfad0dc79539fb0aaee28c9924ff3289659.tar.gz | |
Include title margins
Diffstat (limited to 'src')
| -rw-r--r-- | src/ui/theme.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index 0ab7f9ab..a9f08121 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -699,6 +699,9 @@ meta_theme_get_frame_borders (MetaTheme *theme, cowbell_get_edge_sizes (theme, type, flags, CC_TITLEBAR, top_height, top_height, NULL, NULL); + cowbell_get_edge_sizes (theme, type, flags, CC_TITLE, + top_height, top_height, NULL, NULL); + if (top_height) { *top_height += text_height; |