diff options
| author | Matthias Melcher <git@matthiasm.com> | 2019-02-01 18:58:43 +0100 |
|---|---|---|
| committer | Matthias Melcher <git@matthiasm.com> | 2019-02-01 18:58:43 +0100 |
| commit | a5d55f2e2d2caca0bb1647dd3c232477ea0bbec5 (patch) | |
| tree | f010e22973d3e67983661b390e0d965077b26251 | |
| parent | 389521a8852b9e40329349c13b7d6a9016b04c44 (diff) | |
STR #3386: Interface to set maximum width of spinner text field.
| -rw-r--r-- | FL/Fl_Spinner.H | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/FL/Fl_Spinner.H b/FL/Fl_Spinner.H index 054059536..48fdaebfd 100644 --- a/FL/Fl_Spinner.H +++ b/FL/Fl_Spinner.H @@ -194,6 +194,16 @@ public: Returns the selection color of the spinner widget's input field. */ Fl_Color selection_color() const { return input_.selection_color(); } + + /** + Sets the maximum width of the input field. + */ + void maximum_size(int m) { if (m > 0) input_.maximum_size(m); } + + /** + Returns the maximum width of the input field. + */ + int maximum_size() const { return input_.maximum_size(); } }; #endif // !Fl_Spinner_H |
