diff options
-rw-r--r-- | Resource/Init/pdf_main.ps | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Resource/Init/pdf_main.ps b/Resource/Init/pdf_main.ps index 01af26af1..09f87353c 100644 --- a/Resource/Init/pdf_main.ps +++ b/Resource/Init/pdf_main.ps | |||
@@ -166,6 +166,16 @@ pdfdict begin | |||
166 | % using .pdfpagelabels and not using pdfmarks | 166 | % using .pdfpagelabels and not using pdfmarks |
167 | /WantsPageLabels /GetDeviceParam .special_op | 167 | /WantsPageLabels /GetDeviceParam .special_op |
168 | {pop pop false}{true} ifelse | 168 | {pop pop false}{true} ifelse |
169 | |||
170 | %% This is truly ugly..... | ||
171 | %% GSView 5 redefines pdfmark and processes it itself. However if it gets | ||
172 | %% a pdfmark it cannot cope with, it simply fails. Its not prepared to cope | ||
173 | %% with PAGELABEL pdfmarks, so we don't want to send it to them. There's no | ||
174 | %% way for us to fix GSView 5, its long out of any kind of support, but we do | ||
175 | %% try not to break it. We happen to know that GSView 5 installs a GSview | ||
176 | %% dictionary in userdict, so this test simply ensures we don't emit PAGELABEL | ||
177 | %% pdfmarks if that dictioanry is present. | ||
178 | userdict /GSview known {pop false} if | ||
169 | } bind executeonly | 179 | } bind executeonly |
170 | % generate pagelabel pdfmark | 180 | % generate pagelabel pdfmark |
171 | /dopagelabel { % -- dopagelabel -- | 181 | /dopagelabel { % -- dopagelabel -- |