Mercurial > emacs
annotate lisp/doc-view.el @ 95743:9fcb5d4baf9b
(add_opentype_font_name_to_list): Adjusted for
the change of font_intern_prop.
author | Kenichi Handa <handa@m17n.org> |
---|---|
date | Tue, 10 Jun 2008 02:06:27 +0000 |
parents | 88781ac6a1be |
children | b4e36ff621b3 |
rev | line source |
---|---|
84422 | 1 ;;; doc-view.el --- View PDF/PostScript/DVI files in Emacs |
2 | |
87556
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
3 ;; Copyright (C) 2007, 2008 Free Software Foundation, Inc. |
84422 | 4 ;; |
5 ;; Author: Tassilo Horn <tassilo@member.fsf.org> | |
6 ;; Maintainer: Tassilo Horn <tassilo@member.fsf.org> | |
7 ;; Keywords: files, pdf, ps, dvi | |
8 | |
9 ;; This file is part of GNU Emacs. | |
10 | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
94443
diff
changeset
|
11 ;; GNU Emacs is free software: you can redistribute it and/or modify |
84422 | 12 ;; it under the terms of the GNU General Public License as published by |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
94443
diff
changeset
|
13 ;; the Free Software Foundation, either version 3 of the License, or |
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
94443
diff
changeset
|
14 ;; (at your option) any later version. |
84422 | 15 |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
94678
ee5932bf781d
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
94443
diff
changeset
|
22 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. |
84422 | 23 |
24 ;;; Requirements: | |
25 | |
85367
1fbaddcbc4ec
Mention xpdf. Fix spelling of Ghostscript.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85029
diff
changeset
|
26 ;; doc-view.el requires GNU Emacs 22.1 or newer. You also need Ghostscript, |
94092
41edf72809eb
Changed requirements section to tell that only one
Tassilo Horn <tassilo@member.fsf.org>
parents:
94080
diff
changeset
|
27 ;; `dvipdf' (comes with Ghostscript) or `dvipdfm' (comes with teTeX or TeXLive) |
41edf72809eb
Changed requirements section to tell that only one
Tassilo Horn <tassilo@member.fsf.org>
parents:
94080
diff
changeset
|
28 ;; and `pdftotext', which comes with xpdf (http://www.foolabs.com/xpdf/) or |
41edf72809eb
Changed requirements section to tell that only one
Tassilo Horn <tassilo@member.fsf.org>
parents:
94080
diff
changeset
|
29 ;; poppler (http://poppler.freedesktop.org/). |
84422 | 30 |
31 ;;; Commentary: | |
32 | |
33 ;; DocView is a document viewer for Emacs. It converts PDF, PS and DVI files | |
34 ;; to a set of PNG files, one PNG for each page, and displays the PNG images | |
35 ;; inside an Emacs buffer. This buffer uses `doc-view-mode' which provides | |
36 ;; convenient key bindings for browsing the document. | |
37 ;; | |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
38 ;; To use it simply open a document file with |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
39 ;; |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
40 ;; C-x C-f ~/path/to/document RET |
84422 | 41 ;; |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
42 ;; and the document will be converted and displayed, if your emacs supports png |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
43 ;; images. With `C-c C-c' you can toggle between the rendered images |
85815
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
44 ;; representation and the source text representation of the document. |
84422 | 45 ;; |
46 ;; Since conversion may take some time all the PNG images are cached in a | |
47 ;; subdirectory of `doc-view-cache-directory' and reused when you want to view | |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
48 ;; that file again. To reconvert a document hit `g' (`doc-view-reconvert-doc') |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
49 ;; when displaying the document. To delete all cached files use |
84422 | 50 ;; `doc-view-clear-cache'. To open the cache with dired, so that you can tidy |
51 ;; it out use `doc-view-dired-cache'. | |
52 ;; | |
53 ;; When conversion in underway the first page will be displayed as soon as it | |
54 ;; is available and the available pages are refreshed every | |
55 ;; `doc-view-conversion-refresh-interval' seconds. If that variable is nil the | |
56 ;; pages won't be displayed before conversion of the document finished | |
57 ;; completely. | |
58 ;; | |
59 ;; DocView lets you select a slice of the displayed pages. This slice will be | |
60 ;; remembered and applied to all pages of the current document. This enables | |
61 ;; you to cut away the margins of a document to save some space. To select a | |
62 ;; slice you can use `doc-view-set-slice' (bound to `s s') which will query you | |
63 ;; for the coordinates of the slice's top-left corner and its width and height. | |
64 ;; A much more convenient way to do the same is offered by the command | |
65 ;; `doc-view-set-slice-using-mouse' (bound to `s m'). After invokation you | |
66 ;; only have to press mouse-1 at the top-left corner and drag it to the | |
67 ;; bottom-right corner of the desired slice. To reset the slice use | |
68 ;; `doc-view-reset-slice' (bound to `s r'). | |
69 ;; | |
70 ;; You can also search within the document. The command `doc-view-search' | |
71 ;; (bound to `C-s') queries for a search regexp and initializes a list of all | |
72 ;; matching pages and messages how many match-pages were found. After that you | |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
73 ;; can jump to the next page containing a match with an additional `C-s'. With |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
74 ;; `C-r' you can do the same, but backwards. To search for a new regexp give a |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
75 ;; prefix arg to one of the search functions, e.g. by typing `C-u C-s'. The |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
76 ;; searching works by using a plain text representation of the document. If |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
77 ;; that doesn't already exist the first invokation of `doc-view-search' (or |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
78 ;; `doc-view-search-backward') starts the conversion. When that finishes and |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
79 ;; you're still viewing the document (i.e. you didn't switch to another buffer) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
80 ;; you're queried for the regexp then. |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
81 ;; |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
82 ;; Dired users can simply hit `v' on a document file. If it's a PS, PDF or DVI |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
83 ;; it will be opened using `doc-view-mode'. |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
84 ;; |
84422 | 85 |
86 ;;; Configuration: | |
87 | |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
88 ;; If the images are too small or too big you should set the "-rXXX" option in |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
89 ;; `doc-view-ghostscript-options' to another value. (The bigger your screen, |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
90 ;; the higher the value.) |
84422 | 91 ;; |
92 ;; This and all other options can be set with the customization interface. | |
93 ;; Simply do | |
94 ;; | |
95 ;; M-x customize-group RET doc-view RET | |
96 ;; | |
97 ;; and modify them to your needs. | |
98 | |
86035
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
99 ;;; Todo: |
84422 | 100 |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
101 ;; - add print command. |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
102 ;; - share more code with image-mode. |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
103 ;; - better menu. |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
104 ;; - Bind slicing to a drag event. |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
105 ;; - doc-view-fit-doc-to-window and doc-view-fit-window-to-doc? |
87842
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
106 ;; - zoom the region around the cursor (like xdvi). |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
107 ;; - get rid of the silly arrow in the fringe. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
108 ;; - improve anti-aliasing (pdf-utils gets it better). |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
109 |
86035
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
110 ;;;; About isearch support |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
111 |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
112 ;; I tried implementing isearch by setting |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
113 ;; `isearch-search-fun-function' buffer-locally, but that didn't |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
114 ;; work too good. The function doing the real search was called |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
115 ;; endlessly somehow. But even if we'd get that working no real |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
116 ;; isearch feeling comes up due to the missing match highlighting. |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
117 ;; Currently I display all lines containing a match in a tooltip and |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
118 ;; each C-s or C-r jumps directly to the next/previous page with a |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
119 ;; match. With isearch we could only display the current match. So |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
120 ;; we had to decide if another C-s jumps to the next page with a |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
121 ;; match (thus only the first match in a page will be displayed in a |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
122 ;; tooltip) or to the next match, which would do nothing visible |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
123 ;; (except the tooltip) if the next match is on the same page. |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
124 |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
125 ;; And it's much slower than the current search facility, because |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
126 ;; isearch really searches for each step forward or backward wheras |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
127 ;; the current approach searches once and then it knows to which |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
128 ;; pages to jump. |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
129 |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
130 ;; Anyway, if someone with better isearch knowledge wants to give it a try, |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
131 ;; feel free to do it. --Tassilo |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
132 |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
133 ;;; Code: |
d3745283de5f
Add comments about isearch support.
Juri Linkov <juri@jurta.org>
parents:
86025
diff
changeset
|
134 |
93048
7a4d478a79d1
(require): Require cl at compile time because
Tassilo Horn <tassilo@member.fsf.org>
parents:
93004
diff
changeset
|
135 (eval-when-compile (require 'cl)) |
84422 | 136 (require 'dired) |
85420
de8f3f575afc
(doc-view-mode-map): Use the image-mode scrolling commands. Don't rebind C-x k.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85419
diff
changeset
|
137 (require 'image-mode) |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
138 (require 'jka-compr) |
84422 | 139 |
140 ;;;; Customization Options | |
141 | |
142 (defgroup doc-view nil | |
143 "In-buffer viewer for PDF, PostScript and DVI files." | |
144 :link '(function-link doc-view) | |
145 :version "22.2" | |
146 :group 'applications | |
147 :group 'multimedia | |
148 :prefix "doc-view-") | |
149 | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
150 (defcustom doc-view-ghostscript-program (executable-find "gs") |
84422 | 151 "Program to convert PS and PDF files to PNG." |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
152 :type 'file |
84422 | 153 :group 'doc-view) |
154 | |
155 (defcustom doc-view-ghostscript-options | |
85418
26dcc1207f42
(doc-view-ghostscript-options, doc-view-ps->pdf):
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85369
diff
changeset
|
156 '("-dSAFER" ;; Avoid security problems when rendering files from untrusted |
26dcc1207f42
(doc-view-ghostscript-options, doc-view-ps->pdf):
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85369
diff
changeset
|
157 ;; sources. |
26dcc1207f42
(doc-view-ghostscript-options, doc-view-ps->pdf):
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85369
diff
changeset
|
158 "-dNOPAUSE" "-sDEVICE=png16m" "-dTextAlphaBits=4" |
86119
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
159 "-dBATCH" "-dGraphicsAlphaBits=4" "-dQUIET") |
85367
1fbaddcbc4ec
Mention xpdf. Fix spelling of Ghostscript.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85029
diff
changeset
|
160 "A list of options to give to ghostscript." |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
161 :type '(repeat string) |
84422 | 162 :group 'doc-view) |
163 | |
86119
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
164 (defcustom doc-view-resolution 100 |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
165 "Dots per inch resolution used to render the documents. |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
166 Higher values result in larger images." |
86154 | 167 :type 'number |
168 :group 'doc-view) | |
86119
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
169 |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
170 (defcustom doc-view-dvipdfm-program (executable-find "dvipdfm") |
84422 | 171 "Program to convert DVI files to PDF. |
172 | |
173 DVI file will be converted to PDF before the resulting PDF is | |
94075
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
174 converted to PNG. |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
175 |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
176 If this and `doc-view-dvipdf-program' are set, |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
177 `doc-view-dvipdf-program' will be preferred." |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
178 :type 'file |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
179 :group 'doc-view) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
180 |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
181 (defcustom doc-view-dvipdf-program (executable-find "dvipdf") |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
182 "Program to convert DVI files to PDF. |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
183 |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
184 DVI file will be converted to PDF before the resulting PDF is |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
185 converted to PNG. |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
186 |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
187 If this and `doc-view-dvipdfm-program' are set, |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
188 `doc-view-dvipdf-program' will be preferred." |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
189 :type 'file |
84422 | 190 :group 'doc-view) |
191 | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
192 (defcustom doc-view-ps2pdf-program (executable-find "ps2pdf") |
84422 | 193 "Program to convert PS files to PDF. |
194 | |
195 PS files will be converted to PDF before searching is possible." | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
196 :type 'file |
84422 | 197 :group 'doc-view) |
198 | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
199 (defcustom doc-view-pdftotext-program (executable-find "pdftotext") |
84422 | 200 "Program to convert PDF files to plain text. |
201 | |
202 Needed for searching." | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
203 :type 'file |
84422 | 204 :group 'doc-view) |
205 | |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
206 (defcustom doc-view-cache-directory |
85856
a26944b15c75
(doc-view-cache-directory): Remove superfluous concat.
Glenn Morris <rgm@gnu.org>
parents:
85844
diff
changeset
|
207 (expand-file-name (format "docview%d" (user-uid)) |
85844
cf0d3de08293
* doc-view.el (doc-view-cache-directory): Fix bug where an integer
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85843
diff
changeset
|
208 temporary-file-directory) |
84422 | 209 "The base directory, where the PNG images will be saved." |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
210 :type 'directory |
84422 | 211 :group 'doc-view) |
212 | |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
213 (defvar doc-view-conversion-buffer " *doc-view conversion output*" |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
214 "The buffer where messages from the converter programs go to.") |
84422 | 215 |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
216 (defcustom doc-view-conversion-refresh-interval 1 |
85815
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
217 "Interval in seconds between refreshes of the DocView buffer while converting. |
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
218 After such a refresh newly converted pages will be available for |
84422 | 219 viewing. If set to nil there won't be any refreshes and the |
220 pages won't be displayed before conversion of the whole document | |
221 has finished." | |
85421
fbc2287ee475
Remove version keyword.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85420
diff
changeset
|
222 :type 'integer |
84422 | 223 :group 'doc-view) |
224 | |
225 ;;;; Internal Variables | |
226 | |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
227 (defun doc-view-new-window-function (winprops) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
228 (let ((ol (image-mode-window-get 'overlay winprops))) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
229 (if ol |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
230 (setq ol (copy-overlay ol)) |
94443
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
231 (assert (not (get-char-property (point-min) 'display))) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
232 (setq ol (make-overlay (point-min) (point-max) nil t)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
233 (overlay-put ol 'doc-view t)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
234 (overlay-put ol 'window (car winprops)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
235 (image-mode-window-put 'overlay ol winprops))) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
236 |
84422 | 237 (defvar doc-view-current-files nil |
238 "Only used internally.") | |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
239 (make-variable-buffer-local 'doc-view-current-files) |
84422 | 240 |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
241 (defvar doc-view-current-converter-processes nil |
84422 | 242 "Only used internally.") |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
243 (make-variable-buffer-local 'doc-view-current-converter-processes) |
84422 | 244 |
245 (defvar doc-view-current-timer nil | |
246 "Only used internally.") | |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
247 (make-variable-buffer-local 'doc-view-current-timer) |
84422 | 248 |
249 (defvar doc-view-current-cache-dir nil | |
250 "Only used internally.") | |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
251 (make-variable-buffer-local 'doc-view-current-cache-dir) |
84422 | 252 |
253 (defvar doc-view-current-search-matches nil | |
254 "Only used internally.") | |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
255 (make-variable-buffer-local 'doc-view-current-search-matches) |
84422 | 256 |
87006
a15ce3ca213a
(doc-view-initiate-display): Use `doc-view-mode-p'.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86441
diff
changeset
|
257 (defvar doc-view-pending-cache-flush nil |
a15ce3ca213a
(doc-view-initiate-display): Use `doc-view-mode-p'.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86441
diff
changeset
|
258 "Only used internally.") |
84422 | 259 |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
260 (defvar doc-view-previous-major-mode nil |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
261 "Only used internally.") |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
262 |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
263 (defvar doc-view-buffer-file-name nil |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
264 "Only used internally. |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
265 The file name used for conversion. Normally it's the same as |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
266 `buffer-file-name', but for remote files, compressed files and |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
267 files inside an archive it is a temporary copy of |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
268 the (uncompressed, extracted) file residing in |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
269 `doc-view-cache-directory'.") |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
270 |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
271 (defvar doc-view-doc-type nil |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
272 "The type of document in the current buffer. |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
273 Can be `dvi', `pdf', or `ps'.") |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
274 |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
275 ;;;; DocView Keymaps |
84422 | 276 |
277 (defvar doc-view-mode-map | |
278 (let ((map (make-sparse-keymap))) | |
95508
88781ac6a1be
* image-mode.el (image-mode-map): Suppress key map and bind `q'.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
95363
diff
changeset
|
279 (set-keymap-parent map image-mode-map) |
84422 | 280 ;; Navigation in the document |
281 (define-key map (kbd "n") 'doc-view-next-page) | |
282 (define-key map (kbd "p") 'doc-view-previous-page) | |
85444
a3364ed63fcd
(doc-view-mode-map): Use remapping.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85421
diff
changeset
|
283 (define-key map (kbd "<next>") 'forward-page) |
a3364ed63fcd
(doc-view-mode-map): Use remapping.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85421
diff
changeset
|
284 (define-key map (kbd "<prior>") 'backward-page) |
a3364ed63fcd
(doc-view-mode-map): Use remapping.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85421
diff
changeset
|
285 (define-key map [remap forward-page] 'doc-view-next-page) |
a3364ed63fcd
(doc-view-mode-map): Use remapping.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85421
diff
changeset
|
286 (define-key map [remap backward-page] 'doc-view-previous-page) |
84422 | 287 (define-key map (kbd "SPC") 'doc-view-scroll-up-or-next-page) |
288 (define-key map (kbd "DEL") 'doc-view-scroll-down-or-previous-page) | |
289 (define-key map (kbd "M-<") 'doc-view-first-page) | |
290 (define-key map (kbd "M->") 'doc-view-last-page) | |
85843
05357c175a50
(doc-view-mode-map): Bind doc-view-goto-page to the keys
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85815
diff
changeset
|
291 (define-key map [remap goto-line] 'doc-view-goto-page) |
86119
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
292 ;; Zoom in/out. |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
293 (define-key map "+" 'doc-view-enlarge) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
294 (define-key map "-" 'doc-view-shrink) |
95508
88781ac6a1be
* image-mode.el (image-mode-map): Suppress key map and bind `q'.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
95363
diff
changeset
|
295 ;; Killing the buffer (and the process) |
84422 | 296 (define-key map (kbd "k") 'doc-view-kill-proc-and-buffer) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
297 (define-key map (kbd "K") 'doc-view-kill-proc) |
84422 | 298 ;; Slicing the image |
299 (define-key map (kbd "s s") 'doc-view-set-slice) | |
300 (define-key map (kbd "s m") 'doc-view-set-slice-using-mouse) | |
301 (define-key map (kbd "s r") 'doc-view-reset-slice) | |
302 ;; Searching | |
303 (define-key map (kbd "C-s") 'doc-view-search) | |
304 (define-key map (kbd "<find>") 'doc-view-search) | |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
305 (define-key map (kbd "C-r") 'doc-view-search-backward) |
84422 | 306 ;; Show the tooltip |
307 (define-key map (kbd "C-t") 'doc-view-show-tooltip) | |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
308 ;; Toggle between text and image display or editing |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
309 (define-key map (kbd "C-c C-c") 'doc-view-toggle-display) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
310 ;; Open a new buffer with doc's text contents |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
311 (define-key map (kbd "C-c C-t") 'doc-view-open-text) |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
312 ;; Reconvert the current document |
85843
05357c175a50
(doc-view-mode-map): Bind doc-view-goto-page to the keys
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85815
diff
changeset
|
313 (define-key map (kbd "g") 'revert-buffer) |
05357c175a50
(doc-view-mode-map): Bind doc-view-goto-page to the keys
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85815
diff
changeset
|
314 (define-key map (kbd "r") 'revert-buffer) |
84422 | 315 map) |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
316 "Keymap used by `doc-view-mode' when displaying a doc as a set of images.") |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
317 |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
318 (easy-menu-define doc-view-menu doc-view-mode-map |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
319 "Menu for Doc View mode." |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
320 '("DocView" |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
321 ["Set Slice" doc-view-set-slice-using-mouse] |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
322 ["Set Slice (manual)" doc-view-set-slice] |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
323 ["Reset Slice" doc-view-reset-slice] |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
324 "---" |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
325 ["Search" doc-view-search] |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
326 ["Search Backwards" doc-view-search-backward] |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
327 ["Toggle display" doc-view-toggle-display] |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
328 )) |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
329 |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
330 (defvar doc-view-minor-mode-map |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
331 (let ((map (make-sparse-keymap))) |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
332 ;; Toggle between text and image display or editing |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
333 (define-key map (kbd "C-c C-c") 'doc-view-toggle-display) |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
334 map) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
335 "Keymap used by `doc-minor-view-mode'.") |
84422 | 336 |
337 ;;;; Navigation Commands | |
338 | |
92224
5f0de7ccefc4
(doc-view-current-page): Add a `win' argument.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92220
diff
changeset
|
339 (defmacro doc-view-current-page (&optional win) |
5f0de7ccefc4
(doc-view-current-page): Add a `win' argument.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92220
diff
changeset
|
340 `(image-mode-window-get 'page ,win)) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
341 (defmacro doc-view-current-info () `(image-mode-window-get 'info)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
342 (defmacro doc-view-current-overlay () `(image-mode-window-get 'overlay)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
343 (defmacro doc-view-current-image () `(image-mode-window-get 'image)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
344 (defmacro doc-view-current-slice () `(image-mode-window-get 'slice)) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
345 |
84422 | 346 (defun doc-view-goto-page (page) |
347 "View the page given by PAGE." | |
348 (interactive "nPage: ") | |
349 (let ((len (length doc-view-current-files))) | |
350 (if (< page 1) | |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
351 (setq page 1) |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
352 (when (and (> page len) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
353 ;; As long as the converter is running, we don't know |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
354 ;; how many pages will be available. |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
355 (null doc-view-current-converter-processes)) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
356 (setq page len))) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
357 (setf (doc-view-current-page) page |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
358 (doc-view-current-info) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
359 (concat |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
360 (propertize |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
361 (format "Page %d of %d." page len) 'face 'bold) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
362 ;; Tell user if converting isn't finished yet |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
363 (if doc-view-current-converter-processes |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
364 " (still converting...)\n" |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
365 "\n") |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
366 ;; Display context infos if this page matches the last search |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
367 (when (and doc-view-current-search-matches |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
368 (assq page doc-view-current-search-matches)) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
369 (concat (propertize "Search matches:\n" 'face 'bold) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
370 (let ((contexts "")) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
371 (dolist (m (cdr (assq page |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
372 doc-view-current-search-matches))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
373 (setq contexts (concat contexts " - \"" m "\"\n"))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
374 contexts))))) |
84422 | 375 ;; Update the buffer |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
376 ;; We used to find the file name from doc-view-current-files but |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
377 ;; that's not right if the pages are not generated sequentially |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
378 ;; or if the page isn't in doc-view-current-files yet. |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
379 (let ((file (expand-file-name (format "page-%d.png" page) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
380 (doc-view-current-cache-dir)))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
381 (doc-view-insert-image file :pointer 'arrow) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
382 (when (and (not (file-exists-p file)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
383 doc-view-current-converter-processes) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
384 ;; The PNG file hasn't been generated yet. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
385 (doc-view-pdf->png-1 doc-view-buffer-file-name file page |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
386 (lexical-let ((page page) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
387 (win (selected-window))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
388 (lambda () |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
389 (and (eq (current-buffer) (window-buffer win)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
390 ;; If we changed page in the mean |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
391 ;; time, don't mess things up. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
392 (eq (doc-view-current-page win) page) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
393 (with-selected-window win |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
394 (doc-view-goto-page page)))))))) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
395 (overlay-put (doc-view-current-overlay) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
396 'help-echo (doc-view-current-info)))) |
84422 | 397 |
398 (defun doc-view-next-page (&optional arg) | |
399 "Browse ARG pages forward." | |
400 (interactive "p") | |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
401 (doc-view-goto-page (+ (doc-view-current-page) (or arg 1)))) |
84422 | 402 |
403 (defun doc-view-previous-page (&optional arg) | |
404 "Browse ARG pages backward." | |
405 (interactive "p") | |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
406 (doc-view-goto-page (- (doc-view-current-page) (or arg 1)))) |
84422 | 407 |
408 (defun doc-view-first-page () | |
409 "View the first page." | |
410 (interactive) | |
411 (doc-view-goto-page 1)) | |
412 | |
413 (defun doc-view-last-page () | |
414 "View the last page." | |
415 (interactive) | |
416 (doc-view-goto-page (length doc-view-current-files))) | |
417 | |
418 (defun doc-view-scroll-up-or-next-page () | |
419 "Scroll page up if possible, else goto next page." | |
420 (interactive) | |
87572
0e44918a91f4
2008-01-04 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87556
diff
changeset
|
421 (when (= (window-vscroll) (image-scroll-up nil)) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
422 (let ((cur-page (doc-view-current-page))) |
87580
c47e66c6d239
2008-01-04 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87575
diff
changeset
|
423 (doc-view-next-page) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
424 (when (/= cur-page (doc-view-current-page)) |
94236
0496bdb638d8
(doc-view-scroll-up-or-next-page): Don't use
Tassilo Horn <tassilo@member.fsf.org>
parents:
94092
diff
changeset
|
425 (image-scroll-down nil))))) |
84422 | 426 |
427 (defun doc-view-scroll-down-or-previous-page () | |
428 "Scroll page down if possible, else goto previous page." | |
429 (interactive) | |
87572
0e44918a91f4
2008-01-04 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87556
diff
changeset
|
430 (when (= (window-vscroll) (image-scroll-down nil)) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
431 (let ((cur-page (doc-view-current-page))) |
87580
c47e66c6d239
2008-01-04 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87575
diff
changeset
|
432 (doc-view-previous-page) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
433 (when (/= cur-page (doc-view-current-page)) |
87580
c47e66c6d239
2008-01-04 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87575
diff
changeset
|
434 (image-scroll-up nil))))) |
84422 | 435 |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
436 ;;;; Utility Functions |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
437 |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
438 (defun doc-view-kill-proc () |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
439 "Kill the current converter process(es)." |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
440 (interactive) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
441 (while doc-view-current-converter-processes |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
442 (ignore-errors ;; Maybe it's dead already? |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
443 (kill-process (pop doc-view-current-converter-processes)))) |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
444 (when doc-view-current-timer |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
445 (cancel-timer doc-view-current-timer) |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
446 (setq doc-view-current-timer nil)) |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
447 (setq mode-line-process nil)) |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
448 |
84422 | 449 (defun doc-view-kill-proc-and-buffer () |
450 "Kill the current converter process and buffer." | |
451 (interactive) | |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
452 (doc-view-kill-proc) |
84422 | 453 (when (eq major-mode 'doc-view-mode) |
454 (kill-buffer (current-buffer)))) | |
455 | |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
456 (defun doc-view-make-safe-dir (dir) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
457 (condition-case nil |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
458 (let ((umask (default-file-modes))) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
459 (unwind-protect |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
460 (progn |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
461 ;; Create temp files with strict access rights. It's easy to |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
462 ;; loosen them later, whereas it's impossible to close the |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
463 ;; time-window of loose permissions otherwise. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
464 (set-default-file-modes #o0700) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
465 (make-directory dir)) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
466 ;; Reset the umask. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
467 (set-default-file-modes umask))) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
468 (file-already-exists |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
469 (if (file-symlink-p dir) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
470 (error "Danger: %s points to a symbolic link" dir)) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
471 ;; In case it was created earlier with looser rights. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
472 ;; We could check the mode info returned by file-attributes, but it's |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
473 ;; a pain to parse and it may not tell you what we want under |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
474 ;; non-standard file-systems. So let's just say what we want and let |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
475 ;; the underlying C code and file-system figure it out. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
476 ;; This also ends up checking a bunch of useful conditions: it makes |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
477 ;; sure we have write-access to the directory and that we own it, thus |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
478 ;; closing a bunch of security holes. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
479 (set-file-modes dir #o0700)))) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
480 |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
481 (defun doc-view-current-cache-dir () |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
482 "Return the directory where the png files of the current doc should be saved. |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
483 It's a subdirectory of `doc-view-cache-directory'." |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
484 (if doc-view-current-cache-dir |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
485 doc-view-current-cache-dir |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
486 ;; Try and make sure doc-view-cache-directory exists and is safe. |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
487 (doc-view-make-safe-dir doc-view-cache-directory) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
488 ;; Now compute the subdirectory to use. |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
489 (setq doc-view-current-cache-dir |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
490 (file-name-as-directory |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
491 (expand-file-name |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
492 (concat (file-name-nondirectory buffer-file-name) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
493 "-" |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
494 (let ((file doc-view-buffer-file-name)) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
495 (with-temp-buffer |
92760
0275e742e0a1
(doc-view-current-cache-dir): Set buffer used for
Tassilo Horn <tassilo@member.fsf.org>
parents:
92759
diff
changeset
|
496 (set-buffer-multibyte nil) |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
497 (insert-file-contents-literally file) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
498 (md5 (current-buffer))))) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
499 doc-view-cache-directory))))) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
500 |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
501 (defun doc-view-remove-if (predicate list) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
502 "Return LIST with all items removed that satisfy PREDICATE." |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
503 (let (new-list) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
504 (dolist (item list (nreverse new-list)) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
505 (when (not (funcall predicate item)) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
506 (setq new-list (cons item new-list)))))) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
507 |
86441
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
508 ;;;###autoload |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
509 (defun doc-view-mode-p (type) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
510 "Return non-nil if image type TYPE is available for `doc-view'. |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
511 Image types are symbols like `dvi', `postscript' or `pdf'." |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
512 (and (display-graphic-p) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
513 (image-type-available-p 'png) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
514 (cond |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
515 ((eq type 'dvi) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
516 (and (doc-view-mode-p 'pdf) |
94075
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
517 (or (and doc-view-dvipdf-program |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
518 (executable-find doc-view-dvipdf-program)) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
519 (and doc-view-dvipdfm-program |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
520 (executable-find doc-view-dvipdfm-program))))) |
87681
92ee34bb9001
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87580
diff
changeset
|
521 ((or (eq type 'postscript) (eq type 'ps) (eq type 'eps) |
86441
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
522 (eq type 'pdf)) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
523 (and doc-view-ghostscript-program |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
524 (executable-find doc-view-ghostscript-program))) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
525 (t ;; unknown image type |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
526 nil)))) |
6934c0956614
(doc-view-mode-p): New function.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86156
diff
changeset
|
527 |
84422 | 528 ;;;; Conversion Functions |
529 | |
86119
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
530 (defvar doc-view-shrink-factor 1.125) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
531 |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
532 (defun doc-view-enlarge (factor) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
533 "Enlarge the document." |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
534 (interactive (list doc-view-shrink-factor)) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
535 (set (make-local-variable 'doc-view-resolution) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
536 (* factor doc-view-resolution)) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
537 (doc-view-reconvert-doc)) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
538 |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
539 (defun doc-view-shrink (factor) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
540 "Shrink the document." |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
541 (interactive (list doc-view-shrink-factor)) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
542 (doc-view-enlarge (/ 1.0 factor))) |
5b6715f2ee11
(doc-view-ghostscript-options): Remove resolution arg.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
86035
diff
changeset
|
543 |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
544 (defun doc-view-reconvert-doc () |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
545 "Reconvert the current document. |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
546 Should be invoked when the cached images aren't up-to-date." |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
547 (interactive) |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
548 (doc-view-kill-proc) |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
549 ;; Clear the old cached files |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
550 (when (file-exists-p (doc-view-current-cache-dir)) |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
551 (dired-delete-file (doc-view-current-cache-dir) 'always)) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
552 (doc-view-initiate-display)) |
84422 | 553 |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
554 (defun doc-view-sentinel (proc event) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
555 "Generic sentinel for doc-view conversion processes." |
84422 | 556 (if (not (string-match "finished" event)) |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
557 (message "DocView: process %s changed status to %s." |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
558 (process-name proc) event) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
559 (when (buffer-live-p (process-get proc 'buffer)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
560 (with-current-buffer (process-get proc 'buffer) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
561 (setq doc-view-current-converter-processes |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
562 (delq proc doc-view-current-converter-processes)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
563 (setq mode-line-process |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
564 (if doc-view-current-converter-processes |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
565 (format ":%s" (car doc-view-current-converter-processes)))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
566 (funcall (process-get proc 'callback)))))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
567 |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
568 (defun doc-view-start-process (name program args callback) |
94073
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
569 ;; Make sure the process is started in an existing directory, (rather than |
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
570 ;; some file-name-handler-managed dir, for example). |
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
571 (let* ((default-directory (if (file-readable-p default-directory) |
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
572 default-directory |
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
573 (expand-file-name "~/"))) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
574 (proc (apply 'start-process name doc-view-conversion-buffer |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
575 program args))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
576 (push proc doc-view-current-converter-processes) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
577 (setq mode-line-process (list (format ":%s" proc))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
578 (set-process-sentinel proc 'doc-view-sentinel) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
579 (process-put proc 'buffer (current-buffer)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
580 (process-put proc 'callback callback))) |
84422 | 581 |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
582 (defun doc-view-dvi->pdf (dvi pdf callback) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
583 "Convert DVI to PDF asynchronously and call CALLBACK when finished." |
94075
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
584 ;; Prefer dvipdf over dvipdfm, because the latter has problems if the DVI |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
585 ;; references and includes other PS files. |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
586 (if (and doc-view-dvipdf-program |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
587 (executable-find doc-view-dvipdf-program)) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
588 (doc-view-start-process "dvi->pdf" doc-view-dvipdf-program |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
589 (list dvi pdf) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
590 callback) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
591 (doc-view-start-process "dvi->pdf" doc-view-dvipdfm-program |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
592 (list "-o" pdf dvi) |
b31c348d0336
* doc-view.el (doc-view-dvipdf-program): New variable.
Tassilo Horn <tassilo@member.fsf.org>
parents:
94073
diff
changeset
|
593 callback))) |
84422 | 594 |
595 | |
596 (defun doc-view-pdf/ps->png (pdf-ps png) | |
85815
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
597 "Convert PDF-PS to PNG asynchronously." |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
598 (doc-view-start-process |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
599 "pdf/ps->png" doc-view-ghostscript-program |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
600 (append doc-view-ghostscript-options |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
601 (list (format "-r%d" (round doc-view-resolution)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
602 (concat "-sOutputFile=" png) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
603 pdf-ps)) |
94073
747b5b0190df
(doc-view-start-process): Don't set
Tassilo Horn <tassilo@member.fsf.org>
parents:
93460
diff
changeset
|
604 (lambda () |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
605 (when doc-view-current-timer |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
606 (cancel-timer doc-view-current-timer) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
607 (setq doc-view-current-timer nil)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
608 (doc-view-display (current-buffer) 'force))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
609 ;; Update the displayed pages as soon as they're done generating. |
84422 | 610 (when doc-view-conversion-refresh-interval |
611 (setq doc-view-current-timer | |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
612 (run-at-time "1 secs" doc-view-conversion-refresh-interval |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
613 'doc-view-display |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
614 (current-buffer))))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
615 |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
616 (defun doc-view-pdf->png-1 (pdf png page callback) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
617 "Convert a PAGE of a PDF file to PNG asynchronously. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
618 Call CALLBACK with no arguments when done." |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
619 (doc-view-start-process |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
620 "pdf->png-1" doc-view-ghostscript-program |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
621 (append doc-view-ghostscript-options |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
622 (list (format "-r%d" (round doc-view-resolution)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
623 ;; Sadly, `gs' only supports the page-range |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
624 ;; for PDF files. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
625 (format "-dFirstPage=%d" page) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
626 (format "-dLastPage=%d" page) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
627 (concat "-sOutputFile=" png) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
628 pdf)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
629 callback)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
630 |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
631 (defun doc-view-pdf->png (pdf png pages) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
632 "Convert a PDF file to PNG asynchronously. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
633 Start by converting PAGES, and then the rest." |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
634 (if (null pages) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
635 (doc-view-pdf/ps->png pdf png) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
636 ;; We could render several `pages' with a single process if they're |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
637 ;; (almost) consecutive, but since in 99% of the cases, there'll be only |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
638 ;; a single page anyway, and of the remaining 1%, few cases will have |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
639 ;; consecutive pages, it's not worth the trouble. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
640 (lexical-let ((pdf pdf) (png png) (rest (cdr pages))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
641 (doc-view-pdf->png-1 |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
642 pdf (format png (car pages)) (car pages) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
643 (lambda () |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
644 (if rest |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
645 (doc-view-pdf->png pdf png rest) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
646 ;; Yippie, the important pages are done, update the display. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
647 (clear-image-cache) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
648 ;; Convert the rest of the pages. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
649 (doc-view-pdf/ps->png pdf png))))))) |
84422 | 650 |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
651 (defun doc-view-pdf->txt (pdf txt callback) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
652 "Convert PDF to TXT asynchronously and call CALLBACK when finished." |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
653 (doc-view-start-process "pdf->txt" doc-view-pdftotext-program |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
654 (list "-raw" pdf txt) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
655 callback)) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
656 |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
657 (defun doc-view-doc->txt (txt callback) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
658 "Convert the current document to text and call CALLBACK when done." |
93004
c378e060aab3
(doc-view-doc->txt, doc-view-convert-current-doc):
Tassilo Horn <tassilo@member.fsf.org>
parents:
92879
diff
changeset
|
659 (make-directory (doc-view-current-cache-dir) t) |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
660 (case doc-view-doc-type |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
661 (pdf |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
662 ;; Doc is a PDF, so convert it to TXT |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
663 (doc-view-pdf->txt doc-view-buffer-file-name txt callback)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
664 (ps |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
665 ;; Doc is a PS, so convert it to PDF (which will be converted to |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
666 ;; TXT thereafter). |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
667 (lexical-let ((pdf (expand-file-name "doc.pdf" |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
668 (doc-view-current-cache-dir))) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
669 (txt txt) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
670 (callback callback)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
671 (doc-view-ps->pdf doc-view-buffer-file-name pdf |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
672 (lambda () (doc-view-pdf->txt pdf txt callback))))) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
673 (dvi |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
674 ;; Doc is a DVI. This means that a doc.pdf already exists in its |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
675 ;; cache subdirectory. |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
676 (doc-view-pdf->txt (expand-file-name "doc.pdf" |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
677 (doc-view-current-cache-dir)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
678 txt callback)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
679 (t (error "DocView doesn't know what to do")))) |
84422 | 680 |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
681 (defun doc-view-ps->pdf (ps pdf callback) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
682 "Convert PS to PDF asynchronously and call CALLBACK when finished." |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
683 (doc-view-start-process "ps->pdf" doc-view-ps2pdf-program |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
684 (list |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
685 ;; Avoid security problems when rendering files from |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
686 ;; untrusted sources. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
687 "-dSAFER" |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
688 ;; in-file and out-file |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
689 ps pdf) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
690 callback)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
691 |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
692 (defun doc-view-active-pages () |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
693 (let ((pages ())) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
694 (dolist (win (get-buffer-window-list (current-buffer) nil 'visible)) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
695 (let ((page (image-mode-window-get 'page win))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
696 (unless (memq page pages) (push page pages)))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
697 pages)) |
84422 | 698 |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
699 (defun doc-view-convert-current-doc () |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
700 "Convert `doc-view-buffer-file-name' to a set of png files, one file per page. |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
701 Those files are saved in the directory given by the function |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
702 `doc-view-current-cache-dir'." |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
703 ;; Let stale files still display while we recompute the new ones, so only |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
704 ;; flush the cache when the conversion is over. One of the reasons why it |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
705 ;; is important to keep displaying the stale page is so that revert-buffer |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
706 ;; preserves the horizontal/vertical scroll settings (which are otherwise |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
707 ;; resets during the redisplay). |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
708 (setq doc-view-pending-cache-flush t) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
709 (let ((png-file (expand-file-name "page-%d.png" |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
710 (doc-view-current-cache-dir)))) |
93004
c378e060aab3
(doc-view-doc->txt, doc-view-convert-current-doc):
Tassilo Horn <tassilo@member.fsf.org>
parents:
92879
diff
changeset
|
711 (make-directory (doc-view-current-cache-dir) t) |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
712 (case doc-view-doc-type |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
713 (dvi |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
714 ;; DVI files have to be converted to PDF before Ghostscript can process |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
715 ;; it. |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
716 (lexical-let |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
717 ((pdf (expand-file-name "doc.pdf" doc-view-current-cache-dir)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
718 (png-file png-file)) |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
719 (doc-view-dvi->pdf doc-view-buffer-file-name pdf |
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
720 (lambda () (doc-view-pdf/ps->png pdf png-file))))) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
721 (pdf |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
722 (let ((pages (doc-view-active-pages))) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
723 ;; Convert PDF to PNG images starting with the active pages. |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
724 (doc-view-pdf->png doc-view-buffer-file-name png-file pages))) |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
725 (t |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
726 ;; Convert to PNG images. |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
727 (doc-view-pdf/ps->png doc-view-buffer-file-name png-file))))) |
84422 | 728 |
729 ;;;; Slicing | |
730 | |
731 (defun doc-view-set-slice (x y width height) | |
732 "Set the slice of the images that should be displayed. | |
733 You can use this function to tell doc-view not to display the | |
734 margins of the document. It prompts for the top-left corner (X | |
735 and Y) of the slice to display and its WIDTH and HEIGHT. | |
736 | |
737 See `doc-view-set-slice-using-mouse' for a more convenient way to | |
738 do that. To reset the slice use `doc-view-reset-slice'." | |
739 (interactive | |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
740 (let* ((size (image-size (doc-view-current-image) t)) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
741 (a (read-number (format "Top-left X (0..%d): " (car size)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
742 (b (read-number (format "Top-left Y (0..%d): " (cdr size)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
743 (c (read-number (format "Width (0..%d): " (- (car size) a)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
744 (d (read-number (format "Height (0..%d): " (- (cdr size) b))))) |
84422 | 745 (list a b c d))) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
746 (setf (doc-view-current-slice) (list x y width height)) |
84422 | 747 ;; Redisplay |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
748 (doc-view-goto-page (doc-view-current-page))) |
84422 | 749 |
750 (defun doc-view-set-slice-using-mouse () | |
751 "Set the slice of the images that should be displayed. | |
752 You set the slice by pressing mouse-1 at its top-left corner and | |
753 dragging it to its bottom-right corner. See also | |
754 `doc-view-set-slice' and `doc-view-reset-slice'." | |
755 (interactive) | |
756 (let (x y w h done) | |
757 (while (not done) | |
758 (let ((e (read-event | |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
759 (concat "Press mouse-1 at the top-left corner and " |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
760 "drag it to the bottom-right corner!")))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
761 (when (eq (car e) 'drag-mouse-1) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
762 (setq x (car (posn-object-x-y (event-start e)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
763 (setq y (cdr (posn-object-x-y (event-start e)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
764 (setq w (- (car (posn-object-x-y (event-end e))) x)) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
765 (setq h (- (cdr (posn-object-x-y (event-end e))) y)) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
766 (setq done t)))) |
84422 | 767 (doc-view-set-slice x y w h))) |
768 | |
769 (defun doc-view-reset-slice () | |
85029
63718012f1da
(doc-view-dvi->pdf-sentinel, doc-view-reset-slice)
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
85027
diff
changeset
|
770 "Reset the current slice. |
85815
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
771 After calling this function whole pages will be visible again." |
84422 | 772 (interactive) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
773 (setf (doc-view-current-slice) nil) |
84422 | 774 ;; Redisplay |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
775 (doc-view-goto-page (doc-view-current-page))) |
84422 | 776 |
777 ;;;; Display | |
778 | |
779 (defun doc-view-insert-image (file &rest args) | |
780 "Insert the given png FILE. | |
85029
63718012f1da
(doc-view-dvi->pdf-sentinel, doc-view-reset-slice)
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
85027
diff
changeset
|
781 ARGS is a list of image descriptors." |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
782 (when doc-view-pending-cache-flush |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
783 (clear-image-cache) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
784 (setq doc-view-pending-cache-flush nil)) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
785 (let ((ol (doc-view-current-overlay)) |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
786 (image (if (and file (file-readable-p file)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
787 (apply 'create-image file 'png nil args))) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
788 (slice (doc-view-current-slice))) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
789 (setf (doc-view-current-image) image) |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
790 (move-overlay ol (point-min) (point-max)) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
791 (overlay-put ol 'display |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
792 (cond |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
793 (image |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
794 (if slice |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
795 (list (cons 'slice slice) image) |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
796 image)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
797 ;; We're trying to display a page that doesn't exist. |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
798 (doc-view-current-converter-processes |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
799 ;; Maybe the page doesn't exist *yet*. |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
800 "Cannot display this page (yet)!") |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
801 (t |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
802 ;; Typically happens if the conversion process somehow |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
803 ;; failed. Better not signal an error here because it |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
804 ;; could prevent a subsequent reconversion from fixing |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
805 ;; the problem. |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
806 (concat "Cannot display this page!\n" |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
807 "Maybe because of a conversion failure!")))) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
808 (let ((win (overlay-get ol 'window))) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
809 (if (stringp (overlay-get ol 'display)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
810 (progn ;Make sure the text is not scrolled out of view. |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
811 (set-window-hscroll win 0) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
812 (set-window-vscroll win 0)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
813 (let ((hscroll (image-mode-window-get 'hscroll win)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
814 (vscroll (image-mode-window-get 'vscroll win))) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
815 ;; Reset scroll settings, in case they were changed. |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
816 (if hscroll (set-window-hscroll win hscroll)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
817 (if vscroll (set-window-vscroll win vscroll))))))) |
84422 | 818 |
819 (defun doc-view-sort (a b) | |
820 "Return non-nil if A should be sorted before B. | |
821 Predicate for sorting `doc-view-current-files'." | |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
822 (or (< (length a) (length b)) |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
823 (and (= (length a) (length b)) |
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
824 (string< a b)))) |
84422 | 825 |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
826 (defun doc-view-display (buffer &optional force) |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
827 "Start viewing the document in BUFFER. |
87133
a99e0ba48aeb
(doc-view-dvi->pdf-sentinel, doc-view-pdf/ps->png-sentinel)
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87006
diff
changeset
|
828 If FORCE is non-nil, start viewing even if the document does not |
a99e0ba48aeb
(doc-view-dvi->pdf-sentinel, doc-view-pdf/ps->png-sentinel)
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87006
diff
changeset
|
829 have the page we want to view." |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
830 (with-current-buffer buffer |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
831 (let ((prev-pages doc-view-current-files)) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
832 (setq doc-view-current-files |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
833 (sort (directory-files (doc-view-current-cache-dir) t |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
834 "page-[0-9]+\\.png" t) |
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
835 'doc-view-sort)) |
94443
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
836 (dolist (win (or (get-buffer-window-list buffer nil t) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
837 (list (selected-window)))) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
838 (let* ((page (doc-view-current-page win)) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
839 (pagefile (expand-file-name (format "page-%d.png" page) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
840 (doc-view-current-cache-dir)))) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
841 (when (or force |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
842 (and (not (member pagefile prev-pages)) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
843 (member pagefile doc-view-current-files))) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
844 (with-selected-window win |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
845 (assert (eq (current-buffer) buffer)) |
f41f8f74c3cb
(doc-view-new-window-function): Avoid using WINDOW
Chong Yidong <cyd@stupidchicken.com>
parents:
94236
diff
changeset
|
846 (doc-view-goto-page page)))))))) |
84422 | 847 |
848 (defun doc-view-buffer-message () | |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
849 ;; Only show this message initially, not when refreshing the buffer (in which |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
850 ;; case it's better to keep displaying the "stale" page while computing |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
851 ;; the fresh new ones). |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
852 (unless (overlay-get (doc-view-current-overlay) 'display) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
853 (overlay-put (doc-view-current-overlay) 'display |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
854 (concat (propertize "Welcome to DocView!" 'face 'bold) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
855 "\n" |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
856 " |
85815
960b3c592913
(doc-view-conversion-refresh-interval)
Glenn Morris <rgm@gnu.org>
parents:
85805
diff
changeset
|
857 If you see this buffer it means that the document you want to view is being |
85801
9b97166d0c6c
(doc-view-current-doc): Remove. Replace all uses by buffer-file-name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85784
diff
changeset
|
858 converted to PNG and the conversion of the first page hasn't finished yet or |
84422 | 859 `doc-view-conversion-refresh-interval' is set to nil. |
860 | |
861 For now these keys are useful: | |
862 | |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
863 `q' : Bury this buffer. Conversion will go on in background. |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
864 `k' : Kill the conversion process and this buffer. |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
865 `K' : Kill the conversion process.\n")))) |
84422 | 866 |
867 (defun doc-view-show-tooltip () | |
868 (interactive) | |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
869 (tooltip-show (doc-view-current-info))) |
84422 | 870 |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
871 (defun doc-view-open-text () |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
872 "Open a buffer with the current doc's contents as text." |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
873 (interactive) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
874 (if doc-view-current-converter-processes |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
875 (message "DocView: please wait till conversion finished.") |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
876 (let ((txt (expand-file-name "doc.txt" (doc-view-current-cache-dir)))) |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
877 (if (file-readable-p txt) |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
878 (find-file txt) |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
879 (doc-view-doc->txt txt 'doc-view-open-text))))) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
880 |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
881 ;;;;; Toggle between editing and viewing |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
882 |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
883 |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
884 (defun doc-view-toggle-display () |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
885 "Toggle between editing a document as text or viewing it." |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
886 (interactive) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
887 (if (eq major-mode 'doc-view-mode) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
888 ;; Switch to editing mode |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
889 (progn |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
890 (doc-view-kill-proc) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
891 (setq buffer-read-only nil) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
892 (remove-overlays (point-min) (point-max) 'doc-view t) |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
893 (set (make-local-variable 'image-mode-winprops-alist) t) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
894 ;; Switch to the previously used major mode or fall back to fundamental |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
895 ;; mode. |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
896 (if doc-view-previous-major-mode |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
897 (funcall doc-view-previous-major-mode) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
898 (fundamental-mode)) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
899 (doc-view-minor-mode 1)) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
900 ;; Switch to doc-view-mode |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
901 (when (and (buffer-modified-p) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
902 (y-or-n-p "The buffer has been modified. Save the changes? ")) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
903 (save-buffer)) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
904 (doc-view-mode))) |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
905 |
84422 | 906 ;;;; Searching |
907 | |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
908 |
84422 | 909 (defun doc-view-search-internal (regexp file) |
910 "Return a list of FILE's pages that contain text matching REGEXP. | |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
911 The value is an alist of the form (PAGE CONTEXTS) where PAGE is |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
912 the pagenumber and CONTEXTS are all lines of text containing a match." |
84422 | 913 (with-temp-buffer |
914 (insert-file-contents file) | |
915 (let ((page 1) | |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
916 (lastpage 1) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
917 matches) |
84422 | 918 (while (re-search-forward (concat "\\(?:\\([]\\)\\|\\(" |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
919 regexp "\\)\\)") nil t) |
87556
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
920 (when (match-string 1) (setq page (1+ page))) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
921 (when (match-string 2) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
922 (if (/= page lastpage) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
923 (push (cons page |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
924 (list (buffer-substring |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
925 (line-beginning-position) |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
926 (line-end-position)))) |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
927 matches) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
928 (setq matches (cons |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
929 (append |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
930 (or |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
931 ;; This page already is a match. |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
932 (car matches) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
933 ;; This is the first match on page. |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
934 (list page)) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
935 (list (buffer-substring |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
936 (line-beginning-position) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
937 (line-end-position)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
938 (cdr matches)))) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
939 (setq lastpage page))) |
84422 | 940 (nreverse matches)))) |
941 | |
942 (defun doc-view-search-no-of-matches (list) | |
943 "Extract the number of matches from the search result LIST." | |
944 (let ((no 0)) | |
945 (dolist (p list) | |
946 (setq no (+ no (1- (length p))))) | |
947 no)) | |
948 | |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
949 (defun doc-view-search-backward (new-query) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
950 "Call `doc-view-search' for backward search. |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
951 If prefix NEW-QUERY is given, ask for a new regexp." |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
952 (interactive "P") |
86156
d98fdcca854b
* doc-view.el (doc-view-search-backward, doc-view-search): Fix
Dan Nicolaescu <dann@ics.uci.edu>
parents:
86154
diff
changeset
|
953 (doc-view-search new-query t)) |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
954 |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
955 (defun doc-view-search (new-query &optional backward) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
956 "Jump to the next match or initiate a new search if NEW-QUERY is given. |
84422 | 957 If the current document hasn't been transformed to plain text |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
958 till now do that first. |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
959 If BACKWARD is non-nil, jump to the previous match." |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
960 (interactive "P") |
86156
d98fdcca854b
* doc-view.el (doc-view-search-backward, doc-view-search): Fix
Dan Nicolaescu <dann@ics.uci.edu>
parents:
86154
diff
changeset
|
961 (if (and (not new-query) |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
962 doc-view-current-search-matches) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
963 (if backward |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
964 (doc-view-search-previous-match 1) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
965 (doc-view-search-next-match 1)) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
966 ;; New search, so forget the old results. |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
967 (setq doc-view-current-search-matches nil) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
968 (let ((txt (expand-file-name "doc.txt" |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
969 (doc-view-current-cache-dir)))) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
970 (if (file-readable-p txt) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
971 (progn |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
972 (setq doc-view-current-search-matches |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
973 (doc-view-search-internal |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
974 (read-from-minibuffer "Regexp: ") |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
975 txt)) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
976 (message "DocView: search yielded %d matches." |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
977 (doc-view-search-no-of-matches |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
978 doc-view-current-search-matches))) |
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
979 ;; We must convert to TXT first! |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
980 (if doc-view-current-converter-processes |
86025
19784f7db0ef
(doc-view-mode-map, doc-view-menu, doc-view-pdf->txt-sentinel):
Juri Linkov <juri@jurta.org>
parents:
85856
diff
changeset
|
981 (message "DocView: please wait till conversion finished.") |
92763
5d8ccd2d65e2
Remove all cb-args, use closures instead.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92760
diff
changeset
|
982 (doc-view-doc->txt txt (lambda () (doc-view-search nil)))))))) |
84422 | 983 |
984 (defun doc-view-search-next-match (arg) | |
985 "Go to the ARGth next matching page." | |
986 (interactive "p") | |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
987 (let* ((next-pages (doc-view-remove-if |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
988 (lambda (i) (<= (car i) (doc-view-current-page))) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
989 doc-view-current-search-matches)) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
990 (page (car (nth (1- arg) next-pages)))) |
84422 | 991 (if page |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
992 (doc-view-goto-page page) |
84422 | 993 (when (and |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
994 doc-view-current-search-matches |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
995 (y-or-n-p "No more matches after current page. Wrap to first match? ")) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
996 (doc-view-goto-page (caar doc-view-current-search-matches)))))) |
84422 | 997 |
998 (defun doc-view-search-previous-match (arg) | |
999 "Go to the ARGth previous matching page." | |
1000 (interactive "p") | |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1001 (let* ((prev-pages (doc-view-remove-if |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1002 (lambda (i) (>= (car i) (doc-view-current-page))) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1003 doc-view-current-search-matches)) |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1004 (page (car (nth (1- arg) (nreverse prev-pages))))) |
84422 | 1005 (if page |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1006 (doc-view-goto-page page) |
84422 | 1007 (when (and |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1008 doc-view-current-search-matches |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1009 (y-or-n-p "No more matches before current page. Wrap to last match? ")) |
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1010 (doc-view-goto-page (caar (last doc-view-current-search-matches))))))) |
84422 | 1011 |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
1012 ;;;; User interface commands and the mode |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
1013 |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1014 ;; (put 'doc-view-mode 'mode-class 'special) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1015 |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1016 (defun doc-view-already-converted-p () |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1017 "Return non-nil if the current doc was already converted." |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1018 (and (file-exists-p (doc-view-current-cache-dir)) |
94092
41edf72809eb
Changed requirements section to tell that only one
Tassilo Horn <tassilo@member.fsf.org>
parents:
94080
diff
changeset
|
1019 (> (length (directory-files (doc-view-current-cache-dir) nil "\\.png$")) 0))) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1020 |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1021 (defun doc-view-initiate-display () |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1022 ;; Switch to image display if possible |
93050
831841710ce9
(doc-view-initiate-display): Use doc-view-doc-type
Tassilo Horn <tassilo@member.fsf.org>
parents:
93048
diff
changeset
|
1023 (if (doc-view-mode-p doc-view-doc-type) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1024 (progn |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1025 (doc-view-buffer-message) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1026 (setf (doc-view-current-page) (or (doc-view-current-page) 1)) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1027 (if (doc-view-already-converted-p) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1028 (progn |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1029 (message "DocView: using cached files!") |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1030 (doc-view-display (current-buffer) 'force)) |
85805
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1031 (doc-view-convert-current-doc)) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1032 (message |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1033 "%s" |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1034 (substitute-command-keys |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1035 (concat "Type \\[doc-view-toggle-display] to toggle between " |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1036 "editing or viewing the document.")))) |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1037 (message |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1038 "%s" |
1d1d43e36948
Use expand-file-name rather than concat.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
85801
diff
changeset
|
1039 (substitute-command-keys |
87006
a15ce3ca213a
(doc-view-initiate-display): Use `doc-view-mode-p'.
Reiner Steib <Reiner.Steib@gmx.de>
parents:
86441
diff
changeset
|
1040 (concat "No image (png) support available or some conversion utility for " |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1041 (file-name-extension doc-view-buffer-file-name)" files is missing. " |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1042 "Type \\[doc-view-toggle-display] to switch to an editing mode or " |
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1043 "\\[doc-view-open-text] to open a buffer showing the doc as text."))))) |
84422 | 1044 |
92556
5944be8c8211
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
92224
diff
changeset
|
1045 (defvar bookmark-make-record-function) |
87556
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1046 |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1047 (defun doc-view-clone-buffer-hook () |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1048 ;; FIXME: There are several potential problems linked with reconversion |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1049 ;; and auto-revert when we have indirect buffers because they share their |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1050 ;; /tmp cache directory. This sharing is good (you'd rather not reconvert |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1051 ;; for each clone), but that means that clones need to collaborate a bit. |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1052 ;; I guess it mostly means: detect when a reconversion process is already |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1053 ;; running, and run the sentinel in all clones. |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1054 ;; |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1055 ;; Maybe the clones should really have a separate /tmp directory |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1056 ;; so they could have a different resolution and you could use clones |
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1057 ;; for zooming. |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1058 (remove-overlays (point-min) (point-max) 'doc-view t) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1059 (if (consp image-mode-winprops-alist) (setq image-mode-winprops-alist nil))) |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1060 |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1061 (defun doc-view-intersection (l1 l2) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1062 (let ((l ())) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1063 (dolist (x l1) (if (memq x l2) (push x l))) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1064 l)) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1065 |
85027
06c04cf43e80
(doc-view): Don't ignore pdf and dvi files when completing filename.
Michaël Cadilhac <michael.cadilhac@lrde.org>
parents:
84450
diff
changeset
|
1066 ;;;###autoload |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1067 (defun doc-view-mode () |
85369
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
1068 "Major mode in DocView buffers. |
5b96a46cc08a
* bindings.el (completion-ignored-extensions): Remove pdf and dvi
Reiner Steib <Reiner.Steib@gmx.de>
parents:
85367
diff
changeset
|
1069 You can use \\<doc-view-mode-map>\\[doc-view-toggle-display] to |
88105
44fd682c485a
(doc-view-mode): Improve docstring.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
88063
diff
changeset
|
1070 toggle between displaying the document or editing it as text. |
44fd682c485a
(doc-view-mode): Improve docstring.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
88063
diff
changeset
|
1071 \\{doc-view-mode-map}" |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1072 (interactive) |
87681
92ee34bb9001
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87580
diff
changeset
|
1073 |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1074 (let* ((prev-major-mode (if (eq major-mode 'doc-view-mode) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1075 doc-view-previous-major-mode |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1076 major-mode))) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1077 (kill-all-local-variables) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1078 (set (make-local-variable 'doc-view-previous-major-mode) prev-major-mode)) |
87681
92ee34bb9001
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87580
diff
changeset
|
1079 |
92759
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1080 ;; Figure out the document type. |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1081 (let ((name-types |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1082 (when buffer-file-name |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1083 (cdr (assoc (file-name-extension buffer-file-name) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1084 '(("dvi" dvi) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1085 ("pdf" pdf) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1086 ("epdf" pdf) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1087 ("ps" ps) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1088 ("eps" ps)))))) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1089 (content-types |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1090 (save-excursion |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1091 (goto-char (point-min)) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1092 (cond |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1093 ((looking-at "%!") '(ps)) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1094 ((looking-at "%PDF") '(pdf)) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1095 ((looking-at "\367\002") '(dvi)))))) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1096 (set (make-local-variable 'doc-view-doc-type) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1097 (car (or (doc-view-intersection name-types content-types) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1098 (when (and name-types content-types) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1099 (error "Conflicting types: name says %s but content says %s" |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1100 name-types content-types)) |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1101 name-types content-types |
01d116e7fb72
(doc-view-new-window-function): Add assertion.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92752
diff
changeset
|
1102 (error "Cannot determine the document type"))))) |
92879
4486b0175a46
(doc-view-doc->txt, doc-view-convert-current-doc):
Tassilo Horn <tassilo@member.fsf.org>
parents:
92763
diff
changeset
|
1103 |
92220
9976b0faa96a
(doc-view-conversion-buffer): Give it an internal name.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92004
diff
changeset
|
1104 (doc-view-make-safe-dir doc-view-cache-directory) |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1105 ;; Handle compressed files, remote files, files inside archives |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1106 (set (make-local-variable 'doc-view-buffer-file-name) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1107 (cond |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1108 (jka-compr-really-do-compress |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1109 (expand-file-name |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1110 (file-name-nondirectory |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1111 (file-name-sans-extension buffer-file-name)) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1112 doc-view-cache-directory)) |
87842
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1113 ;; Is the file readable by local processes? |
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1114 ;; We used to use `file-remote-p' but it's unclear what it's |
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1115 ;; supposed to return nil for things like local files accessed via |
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1116 ;; `su' or via file://... |
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1117 ((let ((file-name-handler-alist nil)) |
3a98637489f5
(doc-view-pdf/ps->png): Make sure we a have a valid cwd.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87697
diff
changeset
|
1118 (not (file-readable-p buffer-file-name))) |
87697
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1119 (expand-file-name |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1120 (file-name-nondirectory buffer-file-name) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1121 doc-view-cache-directory)) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1122 (t buffer-file-name))) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1123 (when (not (string= doc-view-buffer-file-name buffer-file-name)) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1124 (write-region nil nil doc-view-buffer-file-name)) |
e0467846347e
2008-01-10 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87693
diff
changeset
|
1125 |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1126 (add-hook 'change-major-mode-hook |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
1127 (lambda () |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
1128 (doc-view-kill-proc) |
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
1129 (remove-overlays (point-min) (point-max) 'doc-view t)) |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1130 nil t) |
91789
0048d198c131
(doc-view-display): Change file arg to buffer arg, so it
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91715
diff
changeset
|
1131 (add-hook 'clone-indirect-buffer-hook 'doc-view-clone-buffer-hook nil t) |
93460
1f7e9d28dedf
Compute displayed pages first (in PDF).
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
93050
diff
changeset
|
1132 (add-hook 'kill-buffer 'doc-view-kill-proc nil t) |
88058
fd7dd85405fc
2008-01-29 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87850
diff
changeset
|
1133 |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1134 (remove-overlays (point-min) (point-max) 'doc-view t) ;Just in case. |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1135 ;; Keep track of display info ([vh]scroll, page number, overlay, ...) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1136 ;; for each window in which this document is shown. |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1137 (add-hook 'image-mode-new-window-functions |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1138 'doc-view-new-window-function nil t) |
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1139 (image-mode-setup-winprops) |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1140 |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1141 (set (make-local-variable 'mode-line-position) |
92004
db743b98a24b
Allow different windows to show different pages.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
91789
diff
changeset
|
1142 '(" P" (:eval (number-to-string (doc-view-current-page))) |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1143 "/" (:eval (number-to-string (length doc-view-current-files))))) |
87850
dd673d4bceda
(doc-view-goto-page): Don't move point any more, now that
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87842
diff
changeset
|
1144 ;; Don't scroll unless the user specifically asked for it. |
dd673d4bceda
(doc-view-goto-page): Don't move point any more, now that
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
87842
diff
changeset
|
1145 (set (make-local-variable 'auto-hscroll-mode) nil) |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1146 (set (make-local-variable 'cursor-type) nil) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1147 (use-local-map doc-view-mode-map) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1148 (set (make-local-variable 'after-revert-hook) 'doc-view-reconvert-doc) |
92556
5944be8c8211
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
92224
diff
changeset
|
1149 (set (make-local-variable 'bookmark-make-record-function) |
5944be8c8211
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
92224
diff
changeset
|
1150 'doc-view-bookmark-make-record) |
87685
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1151 (setq mode-name "DocView" |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1152 buffer-read-only t |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1153 major-mode 'doc-view-mode) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1154 (doc-view-initiate-display) |
9b8e42b90c3b
2008-01-09 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87681
diff
changeset
|
1155 (run-mode-hooks 'doc-view-mode-hook)) |
85784
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1156 |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1157 ;;;###autoload |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1158 (define-minor-mode doc-view-minor-mode |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1159 "Toggle Doc view minor mode. |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1160 With arg, turn Doc view minor mode on if arg is positive, off otherwise. |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1161 See the command `doc-view-mode' for more information on this mode." |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1162 nil " DocView" doc-view-minor-mode-map |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1163 :group 'doc-view |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1164 (when doc-view-minor-mode |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1165 (add-hook 'change-major-mode-hook (lambda () (doc-view-minor-mode -1)) nil t) |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1166 (message |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1167 "%s" |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1168 (substitute-command-keys |
b0dc7772c4dc
Tassilo Horn <tassilo at member.fsf.org>
Glenn Morris <rgm@gnu.org>
parents:
85444
diff
changeset
|
1169 "Type \\[doc-view-toggle-display] to toggle between editing or viewing the document.")))) |
84422 | 1170 |
1171 (defun doc-view-clear-cache () | |
1172 "Delete the whole cache (`doc-view-cache-directory')." | |
1173 (interactive) | |
92752
7f212bec15c4
(doc-view-doc->txt, doc-view-open-text)
Tassilo Horn <tassilo@member.fsf.org>
parents:
92691
diff
changeset
|
1174 (dired-delete-file doc-view-cache-directory 'always)) |
84422 | 1175 |
1176 (defun doc-view-dired-cache () | |
1177 "Open `dired' in `doc-view-cache-directory'." | |
1178 (interactive) | |
1179 (dired doc-view-cache-directory)) | |
1180 | |
1181 | |
87411
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1182 ;;;; Bookmark integration |
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1183 |
92691
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1184 (declare-function bookmark-buffer-file-name "bookmark" ()) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1185 (declare-function bookmark-prop-get "bookmark" (bookmark prop)) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1186 |
92674
ac3c6c3e119c
* bookmark.el (bookmark-make): Don't pass the `annotation' to the
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92563
diff
changeset
|
1187 (defun doc-view-bookmark-make-record () |
92691
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1188 `((filename . ,(bookmark-buffer-file-name)) |
92674
ac3c6c3e119c
* bookmark.el (bookmark-make): Don't pass the `annotation' to the
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92563
diff
changeset
|
1189 (page . ,(doc-view-current-page)) |
ac3c6c3e119c
* bookmark.el (bookmark-make): Don't pass the `annotation' to the
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92563
diff
changeset
|
1190 (handler . doc-view-bookmark-jump))) |
87411
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1191 |
87556
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1192 |
87411
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1193 ;;;###autoload |
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1194 (defun doc-view-bookmark-jump (bmk) |
87521
0140d3ebb262
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
87412
diff
changeset
|
1195 ;; This implements the `handler' function interface for record type |
92556
5944be8c8211
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
92224
diff
changeset
|
1196 ;; returned by `doc-view-bookmark-make-record', which see. |
92691
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1197 (let ((filename (bookmark-prop-get bmk 'filename)) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1198 (page (bookmark-prop-get bmk 'page))) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1199 (with-current-buffer (find-file-noselect filename) |
87411
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1200 (when (not (eq major-mode 'doc-view-mode)) |
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1201 (doc-view-toggle-display)) |
92691
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1202 (with-selected-window |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1203 (or (get-buffer-window (current-buffer) 0) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1204 (selected-window)) |
0574109ed8bc
(bookmark-buffer-file-name, bookmark-prop-get): Declare.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
92674
diff
changeset
|
1205 (doc-view-goto-page page)) |
87521
0140d3ebb262
Change a return type, for greater extensibility. See
Karl Fogel <kfogel@red-bean.com>
parents:
87412
diff
changeset
|
1206 `((buffer ,(current-buffer)) (position ,1))))) |
87411
9ac481bc897b
2007-12-26 Tassilo Horn <tassilo@member.fsf.org>
Tassilo Horn <tassilo@member.fsf.org>
parents:
87133
diff
changeset
|
1207 |
87556
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1208 |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1209 (provide 'doc-view) |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1210 |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1211 ;; Local Variables: |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1212 ;; mode: outline-minor |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1213 ;; End: |
39204305bf6f
(doc-view-search-internal): Don't use `incf'.
Glenn Morris <rgm@gnu.org>
parents:
87522
diff
changeset
|
1214 |
87522 | 1215 ;; arch-tag: 5d6e5c5e-095f-489e-b4e4-1ca90a7d79be |
84422 | 1216 ;;; doc-view.el ends here |