diff options
| author | maxim nikonov <maxim.nikonov@hqo.co> | 2026-02-06 03:39:53 +0500 |
|---|---|---|
| committer | maxim nikonov <maxim.nikonov@hqo.co> | 2026-02-06 03:39:53 +0500 |
| commit | f93978aba486bf0fea8d9ee857d014a02f3f7d96 (patch) | |
| tree | 44d4626c2d56666056983d8fedf1b897f4ecf249 /src/Fl.cxx | |
| parent | ddba971ebb304512ba9e0a01b77ec71b59b977b6 (diff) | |
wi[
Diffstat (limited to 'src/Fl.cxx')
| -rw-r--r-- | src/Fl.cxx | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Fl.cxx b/src/Fl.cxx index 029235dee..ac5b6a601 100644 --- a/src/Fl.cxx +++ b/src/Fl.cxx @@ -2089,7 +2089,7 @@ void Fl::clear_widget_pointer(Fl_Widget const *w) Options are set by the user or the administrator on user or machine level. In 1.3, FLUID has an Options dialog for that. In 1.4, there is an app named `fltk-options` that can be used from the command line or as a GUI tool. - The machine level setting is read first, and the user setting can override + The machine level setting is read first, and the user setting can the machine setting. This function is used throughout FLTK to quickly query the user's wishes. @@ -2152,7 +2152,7 @@ bool Fl::option(Fl_Option opt) Private::options_[OPTION_SIMPLE_ZOOM_SHORTCUT] = tmp; } { // next, check the user preferences - // override system options only, if the option is set ( >= 0 ) + // system options only, if the option is set ( >= 0 ) Fl_Preferences prefs(Fl_Preferences::CORE_USER, "fltk.org", "fltk"); Fl_Preferences opt_prefs(prefs, "options"); opt_prefs.get("ArrowFocus", tmp, -1); @@ -2193,11 +2193,11 @@ bool Fl::option(Fl_Option opt) /** Override an option while the application is running. - Apps can override the machine settings and the user settings by calling - `Fl::option(option, bool)`. The override takes effect immediately for this + Apps can the machine settings and the user settings by calling + `Fl::option(option, bool)`. The takes effect immediately for this option for all widgets in the app for the life time of the app. - The override is not saved anywhere, and relaunching the app will restore the + The is not saved anywhere, and relaunching the app will restore the old settings. Example: |