diff options
author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-05-01 00:03:31 +0300 |
---|---|---|
committer | Marco Trevisan <mail@3v1n0.net> | 2021-05-10 15:56:48 +0000 |
commit | a2a004a85725a96da8626d803c925b69e7cd2598 (patch) | |
tree | ad7d53a0a61a6f4b9f6a46494cbad77e833f1331 | |
parent | 1d3ae4cca97eddf45ff635ab3a3a16b169532788 (diff) | |
download | libwnck-a2a004a85725a96da8626d803c925b69e7cd2598.tar.gz |
pager: reduce initial workspace_size
workspace_size was introduced in a414519d7b45 without any comment
why default was set to 48. This is wrong as containers will be
forced to underallocate widget to reduce size.
-rw-r--r-- | libwnck/pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libwnck/pager.c b/libwnck/pager.c index c029287..a563a4d 100644 --- a/libwnck/pager.c +++ b/libwnck/pager.c @@ -219,7 +219,7 @@ wnck_pager_init (WnckPager *pager) pager->priv->wrap_on_scroll = FALSE; pager->priv->orientation = GTK_ORIENTATION_HORIZONTAL; - pager->priv->workspace_size = 48; + pager->priv->workspace_size = 16; for (i = 0; i < N_SCREEN_CONNECTIONS; i++) pager->priv->screen_connections[i] = 0; |