745 |
/* striked out coordinate may need update */ |
/* striked out coordinate may need update */ |
746 |
overview_coordinate_update(context); |
overview_coordinate_update(context); |
747 |
} |
} |
|
|
|
|
if(strcasecmp(name, _("Goto")) == 0) { |
|
|
/* redo coo_button since state of overwritten coordinate may have changed */ |
|
|
preset_coordinate_picker_update(context->appdata, context->gotoc.coo_popup); |
|
|
} |
|
748 |
} |
} |
749 |
|
|
750 |
static void on_notebook_destroy(GtkWidget *widget, gpointer user_data ) { |
static void on_notebook_destroy(GtkWidget *widget, gpointer user_data ) { |