diff options
| author | Vincent Untz <vuntz@gnome.org> | 2011-02-03 14:50:34 +0100 |
|---|---|---|
| committer | Vincent Untz <vuntz@gnome.org> | 2011-02-03 14:50:34 +0100 |
| commit | ca576b2089094881a07b0f64e9f0f627f219c204 (patch) | |
| tree | 67cf60ab0fe9ab17bfff88666bc5ccbd0f771875 /libwnck/pager.c | |
| parent | 08f4209683ff4acfb8407c765eb8195725e7c23d (diff) | |
| download | libwnck-ca576b2089094881a07b0f64e9f0f627f219c204.tar.gz | |
pager: Make sure the workspace size we request is always positive
Diffstat (limited to 'libwnck/pager.c')
| -rw-r--r-- | libwnck/pager.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libwnck/pager.c b/libwnck/pager.c index edba751..718306d 100644 --- a/libwnck/pager.c +++ b/libwnck/pager.c @@ -780,6 +780,8 @@ wnck_pager_size_allocate (GtkWidget *widget, workspace_size = height; } + workspace_size = MAX (workspace_size, 1); + if (workspace_size != pager->priv->workspace_size) { pager->priv->workspace_size = workspace_size; |