<URL: http://bugs.freeciv.org/Ticket/Display.html?id=40499 >
Attached patch pops-down (i.e. hides) the property editor
when the client receives notification from the server that
edit mode is no longer in effect.
-----------------------------------------------------------------------
誰が私の庭を踏み荒らしていたか？
diff --git a/client/gui-gtk-2.0/editgui.c b/client/gui-gtk-2.0/editgui.c
index 0736b1f..fdd66b6 100644
--- a/client/gui-gtk-2.0/editgui.c
+++ b/client/gui-gtk-2.0/editgui.c
@@ -1676,12 +1676,19 @@ struct editbar *editgui_get_editbar(void)
****************************************************************************/
void editgui_refresh(void)
{
+ struct property_editor *pe;
+
if (editor_toolbar != NULL) {
editbar_refresh(editor_toolbar);
}
if (editor_infobox != NULL) {
editinfobox_refresh(editor_infobox);
}
+
+ pe = editprop_get_property_editor();
+ if (!editor_is_active()) {
+ property_editor_popdown(pe);
+ }
}
/****************************************************************************
_______________________________________________
Freeciv-dev mailing list
Freeciv-dev@gna.org
https://mail.gna.org/listinfo/freeciv-dev
