/************************************************************************** ... **************************************************************************/ void popupinfo_popdown_callback(Widget w, XtPointer client_data, XtPointer call_data) { bool *full = client_data; if (*full) { update_map_canvas_visible(); } else { dirty_all(); } XtDestroyWidget(w); }
/**************************************************************************** Update (refresh) all city descriptions on the mapview. ****************************************************************************/ void update_city_descriptions(void) { update_map_canvas_visible(); }
static PyObject* python_update_map_canvas_visible(PyObject* self, PyObject* args) { if(PyArg_ParseTuple(args, "") == 0) return NULL; update_map_canvas_visible(); return Py_BuildValue("i", 0); }