mirror of https://github.com/djcb/mu.git
* mug.cc: improve padding between shortcuts / search area
This commit is contained in:
parent
08149dc97f
commit
9e43ded016
|
@ -256,7 +256,7 @@ mug_main_area (MugData *mugdata)
|
||||||
{
|
{
|
||||||
GtkWidget *mainarea;
|
GtkWidget *mainarea;
|
||||||
|
|
||||||
mainarea = gtk_hbox_new (FALSE, 0);
|
mainarea = gtk_hbox_new (FALSE, 5);
|
||||||
|
|
||||||
gtk_box_pack_start (GTK_BOX(mainarea), mug_shortcuts_bar(mugdata),
|
gtk_box_pack_start (GTK_BOX(mainarea), mug_shortcuts_bar(mugdata),
|
||||||
FALSE, FALSE, 0);
|
FALSE, FALSE, 0);
|
||||||
|
|
Loading…
Reference in New Issue