From 0caa2c99c2425c52808911d9b2e08b56502436ed Mon Sep 17 00:00:00 2001
From: ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com>
Date: Thu, 31 Aug 2023 12:51:16 +0200
Subject: Special (UTF-8) characters in PDF docs maybe not rendered correctly
 (#772)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Use an image to display the table of the detailed description of class
Fl_PostScript_File_Device in PDF format, and keep using a dynamic table
for the HTML format.

Replace use of the '⌘' character in file drawing.dox by text 'cmd'.
---
 documentation/src/drawing.dox      |   2 +-
 documentation/src/extraPSchars.png | Bin 0 -> 197754 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)
 create mode 100644 documentation/src/extraPSchars.png

(limited to 'documentation')

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
new file mode 100644
index 000000000..c39fa5eed
Binary files /dev/null and b/documentation/src/extraPSchars.png differ
-- 
cgit v1.2.3