diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-03-27 10:20:46 +0100 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-03-27 10:20:46 +0100 |
| commit | 7706e347215a26fa40b8fd086cea8d34b10001b3 (patch) | |
| tree | 07fb27ca0265249e80c4a6f861d027994b0f41d0 /src/GipfelWidget.H | |
| parent | 1e931fc5ca3a378fcf8eb42837ee1912c10a165a (diff) | |
more int->bool
Diffstat (limited to 'src/GipfelWidget.H')
| -rw-r--r-- | src/GipfelWidget.H | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GipfelWidget.H b/src/GipfelWidget.H index 57ce337..24d0bb6 100644 --- a/src/GipfelWidget.H +++ b/src/GipfelWidget.H @@ -67,7 +67,7 @@ class GipfelWidget : public Fl_Group { void set_focal_length_35mm(double s); void set_height_dist_ratio(double r); void set_hide_value(double h); - void set_show_hidden(int h); + void set_show_hidden(bool h); void set_view_lat(double v); void set_view_long(double v); void set_view_height(double v); |