diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-03-09 13:21:52 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2020-03-09 13:21:52 +0100 |
| commit | 812052e4589cbbf7bb8adbef646f5cf533bf7779 (patch) | |
| tree | bc32865de3269959b883d6425b767d5ff19ad903 /documentation | |
| parent | a1115f13e37d8b8b816dbd9213505288f781e0b8 (diff) | |
FLTK doc: Use Unicode character ⌘ (U+2318) in a macOS-specific context.
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/src/drawing.dox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/src/drawing.dox b/documentation/src/drawing.dox index a09fa934a..6213d47ee 100644 --- a/documentation/src/drawing.dox +++ b/documentation/src/drawing.dox @@ -76,7 +76,7 @@ each screen of the system. If this attempt fails, it's possible to set the it's possible to change the scale factor value of any screen at run time with ctrl/+/-/0/ keystrokes which enlarge, shrink, and reset, respectively, all FLTK windows on a screen and their content. -Under Mac OS X, the corresponding GUI scaling shortcuts are cmd/+/-/0/. +Under Mac OS X, the corresponding GUI scaling shortcuts are ⌘/+/-/0/. GUI rescaling involves also image drawing: the screen area covered by the drawn image contains a number of pixels that grows with the scale factor. When FLTK draws images, |