K3RNEL

I’ve been trying to shrink the Panel Size in Gnome 3 and it’s been driving me insane. Apparently the devs decided it would be hilarious to have the minimum size set dynamically based on your screen size and orientation.

From panel-toplevel.c

int panel_toplevel_get_minimum_size (PanelToplevel *toplevel)
{
return calculate_minimum_height (GTK_WIDGET (toplevel),
toplevel->priv->orientation);
}

I changed my copy to this


--- a/gnome-panel/panel-toplevel.c 2011-04-01 04:39:58.000000000 -0600
+++ b/gnome-panel/panel-toplevel.c 2011-07-04 13:44:12.161608721 -0500
@@ -2426,9 +2426,9 @@
else
non_panel_widget_size = 0;

- minimum_height = calculate_minimum_height (GTK_WIDGET (toplevel),
- toplevel->priv->orientation);
-
+ //minimum_height = calculate_minimum_height (GTK_WIDGET (toplevel),
+ // toplevel->priv->orientation);
+ minimum_height=15; //Taken from a totally fair random roll of 1d20
if (toplevel->priv->orientation & PANEL_HORIZONTAL_MASK) {

height = MAX (MIN (MAX (height, toplevel->priv->size),
@@ -5355,8 +5355,9 @@
int
panel_toplevel_get_minimum_size (PanelToplevel *toplevel)
{
- return calculate_minimum_height (GTK_WIDGET (toplevel),
- toplevel->priv->orientation);
+ //return calculate_minimum_height (GTK_WIDGET (toplevel),
+ // toplevel->priv->orientation);
+ return 15; //Taken from a totally fair random roll of 1d20
}
int

I need to recompile the gnome-custom-menu, because the new one forces the top bar back to 29 pixels, but at the moment, I’m enjoying my 10 extra pixels.