diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-06-06 23:15:02 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-06-06 23:15:02 +0200 |
| commit | 385282802bdfb2905698b8e619d525f88a86cc7a (patch) | |
| tree | fa378eefb139eeb4864aa90d73179ceb59a4ee90 | |
| parent | 3afb8441e69ff3e14ec08b65b8fea23ad492b1af (diff) | |
set_labels and redraw after hide/unhide
| -rw-r--r-- | src/GipfelWidget.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/GipfelWidget.cxx b/src/GipfelWidget.cxx index 214d2e1..8a358db 100644 --- a/src/GipfelWidget.cxx +++ b/src/GipfelWidget.cxx @@ -555,6 +555,9 @@ GipfelWidget::toggle_hidden_cb(Fl_Widget *, void *f) { m->flags &= ~Hill::HIDDEN; else m->flags |= Hill::HIDDEN; + + g->set_labels(g->pan->get_visible_mountains()); + g->redraw(); } void |