# HG changeset patch # User Michal Lipski # Date 1236177418 -3600 # Node ID a4dd5fcc46ce28be9f7344ace537c18d3b9cc54b # Parent cfd04bbe1b20bde11459519cbd58468def047385 Add 5px padding for label_time diff -r cfd04bbe1b20 -r a4dd5fcc46ce src/audlegacy/ui_new.c --- a/src/audlegacy/ui_new.c Wed Apr 08 18:56:10 2009 +0100 +++ b/src/audlegacy/ui_new.c Wed Mar 04 15:36:58 2009 +0100 @@ -340,7 +340,7 @@ gtk_box_pack_start(GTK_BOX(shbox), slider, TRUE, TRUE, 0); label_time = gtk_markup_label_new(NULL); - gtk_box_pack_start(GTK_BOX(shbox), label_time, FALSE, FALSE, 0); + gtk_box_pack_start(GTK_BOX(shbox), label_time, FALSE, FALSE, 5); treeview = ui_playlist_widget_new(); scrollwin = gtk_scrolled_window_new(NULL, NULL);