diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-05-21 17:29:54 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2007-05-21 17:29:54 +0200 |
| commit | 19f27b4342d8113f5e76f4ae775b4083edc9e288 (patch) | |
| tree | 3a560d863dccbdefdd3504b52ae8834c78378f07 /src | |
| parent | 22bfb713b453db342e1435e14ff04c6bacc90683 (diff) | |
fix profile safety check
Diffstat (limited to 'src')
| -rw-r--r-- | src/GipfelWidget.cxx | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/GipfelWidget.cxx b/src/GipfelWidget.cxx index 2563d73..80cf05b 100644 --- a/src/GipfelWidget.cxx +++ b/src/GipfelWidget.cxx @@ -838,11 +838,9 @@ GipfelWidget::load_distortion_params(const char *prof_name) { int GipfelWidget::save_distortion_params(const char *prof_name, int force) { - int dummy; - Fl_Preferences prof(dist_prefs, prof_name); - if (!force && (prof.get("k0", dummy, 0) == 0)) { + if (!force && prof.entryExists("k0")) { return 1; } |