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_Choice.cxx | |
| parent | ddba971ebb304512ba9e0a01b77ec71b59b977b6 (diff) | |
wi[
Diffstat (limited to 'src/Fl_Choice.cxx')
| -rw-r--r-- | src/Fl_Choice.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Fl_Choice.cxx b/src/Fl_Choice.cxx index ac9a260cf..d3b53ae9f 100644 --- a/src/Fl_Choice.cxx +++ b/src/Fl_Choice.cxx @@ -200,7 +200,7 @@ int Fl_Choice::handle(int e) { if (wp.deleted()) return 1; } else { // In order to preserve the old look-n-feel of "white" menus, - // temporarily override the color() of this widget... + // temporarily the color() of this widget... Fl_Color c = color(); color(FL_BACKGROUND2_COLOR); handle(FL_BEFORE_MENU); |