From 385282802bdfb2905698b8e619d525f88a86cc7a Mon Sep 17 00:00:00 2001
From: Johannes Hofmann <Johannes.Hofmann@gmx.de>
Date: Sat, 6 Jun 2009 23:15:02 +0200
Subject: set_labels and redraw after hide/unhide

---
 src/GipfelWidget.cxx | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3