warning from FormPreferences.C

[R. Lahaye]

FormPreferences.C: In method `void FormPreferences::applyScreenFonts()':
FormPreferences.C:1141: warning: initialization to `int' from `double'

    int ivalue = fl_get_counter_value(screen_fonts_->counter_zoom);

Rob.