Set nicer text alignment for information banner labels

diff --git a/src/ui-common.c b/src/ui-common.c
index dfaf65a3c4c38187d8a316fa880557a7761c179f..a33407849f2d0b542da2878ecf1bb70b47ecdec8 100644 (file)
--- a/src/ui-common.c
+++ b/src/ui-common.c
@@ -696,14 +696,19 @@ info_banner.location=gtk_label_new("");
 info_banner.speed=gtk_label_new("");
 info_banner.distance=gtk_label_new("");
 
+#if 0
 gtk_label_set_max_width_chars(GTK_LABEL(info_banner.speed), 10);
 gtk_label_set_width_chars(GTK_LABEL(info_banner.speed), 14);
 gtk_label_set_max_width_chars(GTK_LABEL(info_banner.distance), 14);
 gtk_label_set_width_chars(GTK_LABEL(info_banner.distance), 18);
+gtk_label_set_width_chars(GTK_LABEL(info_banner.location), 35);
+#endif
 
+#if 1
 gtk_misc_set_alignment(GTK_MISC(info_banner.location), 0.f, 0.5f);
 gtk_misc_set_alignment(GTK_MISC(info_banner.speed), 1.f, 0.5f);
 gtk_misc_set_alignment(GTK_MISC(info_banner.distance), 1.f, 0.5f);
+#endif
 
 gtk_box_pack_start(GTK_BOX(info_banner.container), info_banner.location, TRUE, TRUE, 0);
 gtk_box_pack_end(GTK_BOX(info_banner.container), info_banner.speed, FALSE, FALSE, 0);