diff options
| author | Johannes Hofmann <johannes.hofmann@gmx.de> | 2005-06-22 17:47:17 +0000 |
|---|---|---|
| committer | Johannes Hofmann <johannes.hofmann@gmx.de> | 2005-06-22 17:47:17 +0000 |
| commit | 1934ed1b8509760359a8fc3ff47e7758f66a05a6 (patch) | |
| tree | 94668530b3a9eb3c836bd747e4ae7b9462a1446f /src/GipfelWidget.H | |
| parent | 1c92fda21514b790219dec9a2e5a85718cb83e73 (diff) | |
introduce close_mountains
introduce close_mountains
Diffstat (limited to 'src/GipfelWidget.H')
| -rw-r--r-- | src/GipfelWidget.H | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/GipfelWidget.H b/src/GipfelWidget.H index a0459a6..e301244 100644 --- a/src/GipfelWidget.H +++ b/src/GipfelWidget.H @@ -1,5 +1,5 @@ // -// "$Id: GipfelWidget.H,v 1.21 2005/05/20 13:34:39 hofmann Exp $" +// "$Id: GipfelWidget.H,v 1.22 2005/06/22 19:47:19 hofmann Exp $" // // Copyright 2005 by Johannes Hofmann // @@ -43,6 +43,8 @@ class GipfelWidget : public Fl_Widget { int set_mountain(int m_x, int m_y); void set_labels(Hills *v); + + void update_menuitems(Hills *h); public: GipfelWidget(int X,int Y,int W, int H); |