summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Resource/Init/pdf_main.ps10
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 --