diff options
Diffstat (limited to 'documentation/src')
| -rw-r--r-- | documentation/src/drawing.dox | 2 | ||||
| -rw-r--r-- | documentation/src/extraPSchars.png | bin | 0 -> 197754 bytes |
2 files changed, 1 insertions, 1 deletions
diff --git a/documentation/src/drawing.dox b/documentation/src/drawing.dox index 8b0f37d2e..08877c631 100644 --- a/documentation/src/drawing.dox +++ b/documentation/src/drawing.dox @@ -85,7 +85,7 @@ 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 macOS, the corresponding GUI scaling shortcuts are ⌘/+/-/0/. +Under macOS, the corresponding GUI scaling shortcuts are cmd/+/-/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, diff --git a/documentation/src/extraPSchars.png b/documentation/src/extraPSchars.png Binary files differnew file mode 100644 index 000000000..c39fa5eed --- /dev/null +++ b/documentation/src/extraPSchars.png |
