Hi Dan and all,
I have tried to accomplish the above mentioned "feature" with the
attached trivial patch.
Please be so kind to test more extensively and apply this one in the cvs
repository if you find this an improvement for the GTK GUI.
Just my EUR 0.02
Kind regards,
Bert Timmerman.
--- src/hid/gtk/gui-top-window.c 2008-07-06 18:43:48.000000000 +0200
+++ src/hid/gtk/gui-top-window.c.orig 2008-05-19 16:52:31.000000000 +0200
@@ -663,7 +663,6 @@
ghid_invalidate_all ();
RestoreCrosshair (TRUE);
ghid_screen_update ();
- ghid_window_set_name_label (PCB->Name);
ghid_set_status_line_label ();
#ifdef FIXME
g_idle_add (ghid_idle_cb, NULL);
@@ -1224,10 +1223,7 @@
if (ghidgui->ghid_title_window)
{
gtk_widget_hide (ghidgui->label_hbox);
- if (PCB->Changed)
- str = g_strdup_printf ("[*] PCB: %s", ghidgui->name_label_string);
- else
- str = g_strdup_printf ("PCB: %s", ghidgui->name_label_string);
+ str = g_strdup_printf ("PCB: %s", ghidgui->name_label_string);
gtk_window_set_title (GTK_WINDOW (gport->top_window), str);
}
else
_______________________________________________
geda-dev mailing list
[email protected]
http://www.seul.org/cgi-bin/mailman/listinfo/geda-dev
