[libwnck] pager: Make sure the workspace size we request is always positive

[Vincent Untz <vuntz src gnome org>]

commit ca576b2089094881a07b0f64e9f0f627f219c204
Author: Vincent Untz <vuntz gnome org>
Date:   Thu Feb 3 14:50:34 2011 +0100

    pager: Make sure the workspace size we request is always positive

 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;