diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-05-21 17:14:17 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-05-21 17:14:17 +0200 |
| commit | 41d41d7a970760ace88f13539a3969c85c351d8c (patch) | |
| tree | 17329bbe98bd6827dcb413c8abe93f1dcb6f67fd /src/GipfelWidget.H | |
| parent | d2242935374419b6ee9c642104fc3a1cc09a5c37 (diff) | |
ask before overwriting profiles
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 3671a87..7d1b5ba 100644 --- a/src/GipfelWidget.H +++ b/src/GipfelWidget.H @@ -128,7 +128,7 @@ class GipfelWidget : public Fl_Widget { int get_distortion_profile_name(char *buf, int buflen); - int save_distortion_params(const char *prof_name); + int save_distortion_params(const char *prof_name, int force); int load_distortion_params(const char *prof_name); |