Mercurial > emacs
annotate lisp/view.el @ 14319:e39a2eb75dbe
(Info-edit, Info-goto-emacs-command-node): Pass proper format string to message.
author | Karl Heuer <kwzh@gnu.org> |
---|---|
date | Thu, 25 Jan 1996 00:54:59 +0000 |
parents | 83f275dcd93a |
children | 8b24fff422f4 |
rev | line source |
---|---|
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
1 ;;; view.el --- peruse file or buffer without editing. |
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
2 |
12856 | 3 ;; Copyright (C) 1985, 1989, 1994, 1995 Free Software Foundation, Inc. |
840
113281b361ec
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
807
diff
changeset
|
4 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
5 ;; Author: K. Shane Hartman |
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
6 ;; Maintainer: FSF |
44 | 7 |
8 ;; This file is part of GNU Emacs. | |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
44 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
44 | 24 |
2319
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
931
diff
changeset
|
25 ;;; Commentary: |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
931
diff
changeset
|
26 |
12856 | 27 ;; This package provides the `view' minor mode documented in the Emacs |
2319
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
931
diff
changeset
|
28 ;; user's manual. |
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
931
diff
changeset
|
29 |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
657
diff
changeset
|
30 ;;; Code: |
44 | 31 |
13167
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
32 ;;;###autoload |
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
33 (defvar view-highlight-face 'highlight |
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
34 "*The overlay face used for highlighting the match found by View mode search.") |
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
35 |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
36 (defvar view-mode nil "Non-nil if View mode is enabled.") |
12856 | 37 (make-variable-buffer-local 'view-mode) |
38 | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
39 (defvar view-mode-auto-exit nil |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
40 "Non-nil means scrolling past the end of buffer exits View mode.") |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
41 (make-variable-buffer-local 'view-mode-auto-exit) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
42 |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
43 (defvar view-old-buffer-read-only nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
44 (make-variable-buffer-local 'view-old-buffer-read-only) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
45 (defvar view-old-Helper-return-blurb) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
46 (make-variable-buffer-local 'view-old-Helper-return-blurb) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
47 |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
48 (defvar view-scroll-size nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
49 (make-variable-buffer-local 'view-scroll-size) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
50 |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
51 (defvar view-last-regexp nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
52 (make-variable-buffer-local 'view-last-regexp) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
53 |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
54 (defvar view-exit-action nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
55 (make-variable-buffer-local 'view-exit-action) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
56 (defvar view-return-here nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
57 (make-variable-buffer-local 'view-return-here) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
58 (defvar view-exit-position nil) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
59 (make-variable-buffer-local 'view-exit-position) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
60 |
13122
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
61 (defvar view-overlay nil |
13167
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
62 "Overlay used to display where a search operation found its match. |
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
63 This is local in each buffer, once it is used.") |
13122
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
64 (make-variable-buffer-local 'view-overlay) |
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
65 |
12856 | 66 (or (assq 'view-mode minor-mode-alist) |
67 (setq minor-mode-alist | |
68 (cons '(view-mode " View") minor-mode-alist))) | |
69 | |
44 | 70 (defvar view-mode-map nil) |
71 (if view-mode-map | |
72 nil | |
73 (setq view-mode-map (make-keymap)) | |
12856 | 74 (suppress-keymap view-mode-map) |
44 | 75 (define-key view-mode-map "q" 'view-exit) |
76 (define-key view-mode-map "<" 'beginning-of-buffer) | |
77 (define-key view-mode-map ">" 'end-of-buffer) | |
78 (define-key view-mode-map "\ev" 'View-scroll-lines-backward) | |
79 (define-key view-mode-map "\C-v" 'View-scroll-lines-forward) | |
80 (define-key view-mode-map " " 'View-scroll-lines-forward) | |
12856 | 81 (define-key view-mode-map "\C-?" 'View-scroll-lines-backward) |
44 | 82 (define-key view-mode-map "\n" 'View-scroll-one-more-line) |
83 (define-key view-mode-map "\r" 'View-scroll-one-more-line) | |
84 (define-key view-mode-map "z" 'View-scroll-lines-forward-set-scroll-size) | |
85 (define-key view-mode-map "g" 'View-goto-line) | |
86 (define-key view-mode-map "=" 'what-line) | |
87 (define-key view-mode-map "." 'set-mark-command) | |
88 (define-key view-mode-map "'" 'View-back-to-mark) | |
89 (define-key view-mode-map "@" 'View-back-to-mark) | |
90 (define-key view-mode-map "x" 'exchange-point-and-mark) | |
13640
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
91 (define-key view-mode-map "h" 'describe-mode) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
92 (define-key view-mode-map "?" 'describe-mode) |
44 | 93 (define-key view-mode-map "s" 'isearch-forward) |
94 (define-key view-mode-map "r" 'isearch-backward) | |
95 (define-key view-mode-map "/" 'View-search-regexp-forward) | |
96 (define-key view-mode-map "\\" 'View-search-regexp-backward) | |
97 ;; This conflicts with the standard binding of isearch-regexp-forward | |
98 (define-key view-mode-map "\e\C-s" 'View-search-regexp-forward) | |
99 (define-key view-mode-map "\e\C-r" 'View-search-regexp-backward) | |
100 (define-key view-mode-map "n" 'View-search-last-regexp-forward) | |
101 (define-key view-mode-map "p" 'View-search-last-regexp-backward) | |
102 ) | |
103 | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
104 (or (assq 'view-mode minor-mode-map-alist) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
105 (setq minor-mode-map-alist |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
106 (cons (cons 'view-mode view-mode-map) minor-mode-map-alist))) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
107 |
44 | 108 |
256 | 109 ;;;###autoload |
44 | 110 (defun view-file (file-name) |
111 "View FILE in View mode, returning to previous buffer when done. | |
112 The usual Emacs commands are not available; instead, | |
113 a special set of commands (mostly letters and punctuation) | |
114 are defined for moving around in the buffer. | |
115 Space scrolls forward, Delete scrolls backward. | |
116 For list of all View commands, type ? or h while viewing. | |
117 | |
6330
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
118 This command runs the normal hook `view-mode-hook'." |
44 | 119 (interactive "fView file: ") |
120 (let ((old-buf (current-buffer)) | |
121 (had-a-buf (get-file-buffer file-name)) | |
122 (buf-to-view (find-file-noselect file-name))) | |
12390
598490dfbed5
(view-file-other-window): Re-add missing argument to
Richard M. Stallman <rms@gnu.org>
parents:
9640
diff
changeset
|
123 ;; This used to pass t as second argument, |
598490dfbed5
(view-file-other-window): Re-add missing argument to
Richard M. Stallman <rms@gnu.org>
parents:
9640
diff
changeset
|
124 ;; but then the buffer did not show up in the Buffers menu. |
9640
7f70a4773d5e
(view-file): Do record the buffer switch.
Richard M. Stallman <rms@gnu.org>
parents:
7300
diff
changeset
|
125 (switch-to-buffer buf-to-view had-a-buf) |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
126 (view-mode-enter old-buf |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
127 (and (not had-a-buf) (not (buffer-modified-p buf-to-view)) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
128 'kill-buffer)))) |
44 | 129 |
256 | 130 ;;;###autoload |
354 | 131 (defun view-file-other-window (file-name) |
132 "View FILE in View mode in other window. | |
133 Return to previous buffer when done. | |
134 The usual Emacs commands are not available; instead, | |
135 a special set of commands (mostly letters and punctuation) | |
136 are defined for moving around in the buffer. | |
137 Space scrolls forward, Delete scrolls backward. | |
138 For list of all View commands, type ? or h while viewing. | |
139 | |
6330
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
140 This command runs the normal hook `view-mode-hook'." |
354 | 141 (interactive "fView file: ") |
142 (let ((old-arrangement (current-window-configuration)) | |
143 (had-a-buf (get-file-buffer file-name)) | |
144 (buf-to-view (find-file-noselect file-name))) | |
12390
598490dfbed5
(view-file-other-window): Re-add missing argument to
Richard M. Stallman <rms@gnu.org>
parents:
9640
diff
changeset
|
145 (switch-to-buffer-other-window buf-to-view) |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
146 (view-mode-enter old-arrangement |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
147 (and (not had-a-buf) (not (buffer-modified-p buf-to-view)) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
148 'kill-buffer)))) |
354 | 149 |
150 ;;;###autoload | |
44 | 151 (defun view-buffer (buffer-name) |
152 "View BUFFER in View mode, returning to previous buffer when done. | |
153 The usual Emacs commands are not available; instead, | |
154 a special set of commands (mostly letters and punctuation) | |
155 are defined for moving around in the buffer. | |
156 Space scrolls forward, Delete scrolls backward. | |
157 For list of all View commands, type ? or h while viewing. | |
158 | |
6330
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
159 This command runs the normal hook `view-mode-hook'." |
44 | 160 (interactive "bView buffer: ") |
161 (let ((old-buf (current-buffer))) | |
162 (switch-to-buffer buffer-name t) | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
163 (view-mode-enter old-buf nil))) |
44 | 164 |
256 | 165 ;;;###autoload |
354 | 166 (defun view-buffer-other-window (buffer-name not-return) |
12856 | 167 "View BUFFER in View mode in another window. |
168 Return to previous buffer when done, unless NOT-RETURN is non-nil. | |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
169 |
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
170 The usual Emacs commands are not available in View mode; instead, |
354 | 171 a special set of commands (mostly letters and punctuation) |
172 are defined for moving around in the buffer. | |
173 Space scrolls forward, Delete scrolls backward. | |
174 For list of all View commands, type ? or h while viewing. | |
175 | |
6330
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
176 This command runs the normal hook `view-mode-hook'." |
2444
5a563f113d6a
(view-buffer-other-window): Remove spurious backslashes from
Roland McGrath <roland@gnu.org>
parents:
2443
diff
changeset
|
177 (interactive "bView buffer:\nP") |
354 | 178 (let ((return-to (and not-return (current-window-configuration)))) |
179 (switch-to-buffer-other-window buffer-name) | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
180 (view-mode-enter return-to))) |
354 | 181 |
182 ;;;###autoload | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
183 (defun view-mode (&optional arg) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
184 "Toggle View mode. |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
185 If you use this function to turn on View mode, |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
186 \"exiting\" View mode does nothing except turn View mode off. |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
187 The other way to turn View mode on is by calling |
13640
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
188 `view-mode-enter'. |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
189 |
44 | 190 Letters do not insert themselves. Instead these commands are provided. |
191 Most commands take prefix arguments. Commands dealing with lines | |
192 default to \"scroll size\" lines (initially size of window). | |
193 Search commands default to a repeat count of one. | |
13640
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
194 |
44 | 195 M-< or < move to beginning of buffer. |
196 M-> or > move to end of buffer. | |
197 C-v or Space scroll forward lines. | |
198 M-v or DEL scroll backward lines. | |
199 CR or LF scroll forward one line (backward with prefix argument). | |
200 z like Space except set number of lines for further | |
201 scrolling commands to scroll by. | |
202 C-u and Digits provide prefix arguments. `-' denotes negative argument. | |
203 = prints the current line number. | |
204 g goes to line given by prefix argument. | |
205 / or M-C-s searches forward for regular expression | |
206 \\ or M-C-r searches backward for regular expression. | |
207 n searches forward for last regular expression. | |
208 p searches backward for last regular expression. | |
209 C-@ or . set the mark. | |
210 x exchanges point and mark. | |
211 C-s or s do forward incremental search. | |
212 C-r or r do reverse incremental search. | |
213 @ or ' return to mark and pops mark ring. | |
214 Mark ring is pushed at start of every | |
215 successful search and when jump to line to occurs. | |
216 The mark is set on jump to buffer start or end. | |
217 ? or h provide help message (list of commands). | |
13639
50d31efc8e72
(view-mode-enter): Replace Help-helper by help-command
Richard M. Stallman <rms@gnu.org>
parents:
13538
diff
changeset
|
218 \\[help-command] provides help (list of commands or description of a command). |
44 | 219 C-n moves down lines vertically. |
220 C-p moves upward lines vertically. | |
221 C-l recenters the screen. | |
13640
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
222 q exit view-mode and return to previous buffer." |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
223 (interactive "P") |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
224 (setq view-mode |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
225 (if (null arg) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
226 (not view-mode) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
227 (> (prefix-numeric-value arg) 0))) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
228 (force-mode-line-update)) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
229 |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
230 (defun view-mode-enter (&optional prev-buffer action) |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
231 "Enter View mode, a Minor mode for viewing text but not editing it. |
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
232 See the function `view-mode' for more details. |
44 | 233 |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
234 This function runs the normal hook `view-mode-hook'. |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
235 |
44 | 236 \\{view-mode-map}" |
237 ; Not interactive because dangerous things happen | |
238 ; if you call it without passing a buffer as argument | |
239 ; and they are not easy to fix. | |
240 ; (interactive) | |
241 (setq view-old-buffer-read-only buffer-read-only) | |
242 (setq view-old-Helper-return-blurb | |
243 (and (boundp 'Helper-return-blurb) Helper-return-blurb)) | |
244 | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
245 ;; Enable view-exit to make use of the data we just saved |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
246 ;; and to perform the exit action. |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
247 (setq view-mode-auto-exit t) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
248 |
44 | 249 (setq buffer-read-only t) |
12856 | 250 (setq view-mode t) |
44 | 251 (setq Helper-return-blurb |
252 (format "continue viewing %s" | |
253 (if (buffer-file-name) | |
254 (file-name-nondirectory (buffer-file-name)) | |
255 (buffer-name)))) | |
256 | |
257 (setq view-exit-action action) | |
354 | 258 (setq view-return-here prev-buffer) |
44 | 259 (setq view-exit-position (point-marker)) |
260 | |
261 (beginning-of-line) | |
262 (setq goal-column nil) | |
263 | |
12856 | 264 (run-hooks 'view-mode-hook) |
265 (message | |
266 (substitute-command-keys | |
13640
ee453099e188
(view-mode, view-mode-enter): Doc changes.
Richard M. Stallman <rms@gnu.org>
parents:
13639
diff
changeset
|
267 "Type \\[help-command] for help, \\[describe-mode] for commands, \\[view-exit] to quit."))) |
354 | 268 |
44 | 269 (defun view-exit () |
270 "Exit from view-mode. | |
271 If you viewed an existing buffer, that buffer returns to its previous mode. | |
272 If you viewed a file that was not present in Emacs, its buffer is killed." | |
273 (interactive) | |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
274 (setq view-mode nil) |
13158
02b3310fc081
(view-exit): Delete view-overlay only if it exists.
Erik Naggum <erik@naggum.no>
parents:
13123
diff
changeset
|
275 (and view-overlay (delete-overlay view-overlay)) |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
276 (force-mode-line-update) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
277 (cond (view-mode-auto-exit |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
278 (setq buffer-read-only view-old-buffer-read-only) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
279 (setq view-mode-auto-exit nil) |
44 | 280 |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
281 (goto-char view-exit-position) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
282 (set-marker view-exit-position nil) |
44 | 283 |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
284 ;; Now do something to the buffer that we were viewing |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
285 ;; (such as kill it). |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
286 (let ((viewed-buffer (current-buffer)) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
287 (action view-exit-action)) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
288 (cond |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
289 ((bufferp view-return-here) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
290 (switch-to-buffer view-return-here)) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
291 ((window-configuration-p view-return-here) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
292 (set-window-configuration view-return-here))) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
293 (if action (funcall action viewed-buffer)))))) |
44 | 294 |
295 (defun view-window-size () (1- (window-height))) | |
296 | |
297 (defun view-scroll-size () | |
298 (min (view-window-size) (or view-scroll-size (view-window-size)))) | |
299 | |
6330
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
300 (defvar view-mode-hook nil |
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
301 "Normal hook run when starting to view a buffer or file.") |
3badf836d51d
(view-mode): Run view-mode-hook as well as view-hook.
Richard M. Stallman <rms@gnu.org>
parents:
5123
diff
changeset
|
302 |
44 | 303 ;(defun view-last-command (&optional who what) |
304 ; (setq view-last-command-entry this-command) | |
305 ; (setq view-last-command who) | |
306 ; (setq view-last-command-argument what)) | |
307 | |
308 ;(defun View-repeat-last-command () | |
309 ; "Repeat last command issued in View mode." | |
310 ; (interactive) | |
311 ; (if (and view-last-command | |
312 ; (eq view-last-command-entry last-command)) | |
313 ; (funcall view-last-command view-last-command-argument)) | |
314 ; (setq this-command view-last-command-entry)) | |
315 | |
12856 | 316 (defun View-goto-line (line) |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
317 "Move to line LINE in View mode. |
44 | 318 Display is centered at LINE. Sets mark at starting position and pushes |
319 mark ring." | |
320 (interactive "p") | |
321 (push-mark) | |
12856 | 322 (goto-line line) |
44 | 323 (recenter (/ (view-window-size) 2))) |
324 | |
325 (defun View-scroll-lines-forward (&optional lines) | |
326 "Scroll forward in View mode, or exit if end of text is visible. | |
327 No arg means whole window full, or number of lines set by \\[View-scroll-lines-forward-set-scroll-size]. | |
328 Arg is number of lines to scroll." | |
329 (interactive "P") | |
12856 | 330 (setq lines |
331 (if lines (prefix-numeric-value lines) | |
332 (view-scroll-size))) | |
5123
4bf8c101aaef
(View-scroll-lines-forward):
Richard M. Stallman <rms@gnu.org>
parents:
4119
diff
changeset
|
333 (if (and (pos-visible-in-window-p (point-max)) |
4bf8c101aaef
(View-scroll-lines-forward):
Richard M. Stallman <rms@gnu.org>
parents:
4119
diff
changeset
|
334 ;; Allow scrolling backward at the end of the buffer. |
13078
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
335 (> lines 0) |
d7735534db86
(view-mode-enter): Renamed from view-mode. Callers changed.
Richard M. Stallman <rms@gnu.org>
parents:
12857
diff
changeset
|
336 view-mode-auto-exit) |
3450
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
337 (view-exit) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
338 ;; (view-last-command 'View-scroll-lines-forward lines) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
339 (if (>= lines (view-window-size)) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
340 (scroll-up nil) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
341 (if (>= (- lines) (view-window-size)) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
342 (scroll-down nil) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
343 (scroll-up lines))) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
344 (cond ((pos-visible-in-window-p (point-max)) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
345 (goto-char (point-max)) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
346 (message (substitute-command-keys |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
347 "End. Type \\[view-exit] to quit viewing.")))) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
348 (move-to-window-line -1) |
89cd5536ee81
(View-scroll-lines-forward): If we exit, do nothing else.
Richard M. Stallman <rms@gnu.org>
parents:
2444
diff
changeset
|
349 (beginning-of-line))) |
44 | 350 |
351 (defun View-scroll-lines-forward-set-scroll-size (&optional lines) | |
352 "Scroll forward LINES lines in View mode, setting the \"scroll size\". | |
353 This is the number of lines which \\[View-scroll-lines-forward] and \\[View-scroll-lines-backward] scroll by default. | |
354 The absolute value of LINES is used, so this command can be used to scroll | |
355 backwards (but \"scroll size\" is always positive). If LINES is greater than | |
356 window height or omitted, then window height is assumed. If LINES is less | |
357 than window height then scrolling context is provided from previous screen." | |
358 (interactive "P") | |
359 (if (not lines) | |
360 (setq view-scroll-size (view-window-size)) | |
361 (setq lines (prefix-numeric-value lines)) | |
362 (setq view-scroll-size | |
363 (min (if (> lines 0) lines (- lines)) (view-window-size)))) | |
364 (View-scroll-lines-forward lines)) | |
365 | |
366 (defun View-scroll-one-more-line (&optional arg) | |
367 "Scroll one more line up in View mode. | |
368 With ARG scroll one line down." | |
369 (interactive "P") | |
370 (View-scroll-lines-forward (if (not arg) 1 -1))) | |
371 | |
372 (defun View-scroll-lines-backward (&optional lines) | |
373 "Scroll backward in View mode. | |
374 No arg means whole window full, or number of lines set by \\[View-scroll-lines-forward-set-scroll-size]. | |
375 Arg is number of lines to scroll." | |
376 (interactive "P") | |
377 (View-scroll-lines-forward (if lines | |
378 (- (prefix-numeric-value lines)) | |
379 (- (view-scroll-size))))) | |
380 | |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
381 (defun View-search-regexp-forward (n regexp) |
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
382 "Search forward for Nth occurrence of REGEXP. |
44 | 383 Displays line found at center of window. REGEXP is remembered for |
13168 | 384 searching with \\[View-search-last-regexp-forward] and \\[View-search-last-regexp-backward]. Sets mark at starting position and pushes mark ring. |
385 | |
386 The variable `view-highlight-face' controls the face that is used | |
387 for highlighting the match that is found." | |
44 | 388 (interactive "p\nsSearch forward (regexp): ") |
13122
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
389 ;;;(view-last-command 'View-search-last-regexp-forward n) |
13123
e712a11f25a0
Fix typo in prev change.
Richard M. Stallman <rms@gnu.org>
parents:
13122
diff
changeset
|
390 (view-search n (if (equal regexp "") view-last-regexp regexp))) |
44 | 391 |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
392 (defun View-search-regexp-backward (n regexp) |
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
393 "Search backward from window start for Nth instance of REGEXP. |
44 | 394 Displays line found at center of window. REGEXP is remembered for |
13168 | 395 searching with \\[View-search-last-regexp-forward] and \\[View-search-last-regexp-backward]. Sets mark at starting position and pushes mark ring. |
396 | |
397 The variable `view-highlight-face' controls the face that is used | |
398 for highlighting the match that is found." | |
44 | 399 (interactive "p\nsSearch backward (regexp): ") |
13122
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
400 (View-search-regexp-forward (- n) |
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
401 (if (equal regexp "") view-last-regexp regexp))) |
44 | 402 |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
403 (defun View-search-last-regexp-forward (n) |
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
404 "Search forward from window end for Nth instance of last regexp. |
44 | 405 Displays line found at center of window. Sets mark at starting position |
13168 | 406 and pushes mark ring. |
407 | |
408 The variable `view-highlight-face' controls the face that is used | |
409 for highlighting the match that is found." | |
44 | 410 (interactive "p") |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
411 (View-search-regexp-forward n view-last-regexp)) |
44 | 412 |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
413 (defun View-search-last-regexp-backward (n) |
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
414 "Search backward from window start for Nth instance of last regexp. |
44 | 415 Displays line found at center of window. Sets mark at starting position and |
13168 | 416 pushes mark ring. |
417 | |
418 The variable `view-highlight-face' controls the face that is used | |
419 for highlighting the match that is found." | |
44 | 420 (interactive "p") |
4119
7b1b2a8d05f2
Doc fixes; some args renamed.
Richard M. Stallman <rms@gnu.org>
parents:
3450
diff
changeset
|
421 (View-search-regexp-backward n view-last-regexp)) |
44 | 422 |
423 (defun View-back-to-mark (&optional ignore) | |
424 "Return to last mark set in View mode, else beginning of file. | |
425 Displays line at center of window. Pops mark ring so successive | |
426 invocations return to earlier marks." | |
427 (interactive) | |
12856 | 428 (goto-char (or (mark t) (point-min))) |
44 | 429 (pop-mark) |
430 (recenter (/ (view-window-size) 2))) | |
431 | |
432 (defun view-search (times regexp) | |
433 (setq view-last-regexp regexp) | |
434 (let (where) | |
435 (save-excursion | |
436 (move-to-window-line (if (< times 0) 0 -1)) | |
437 (if (re-search-forward regexp nil t times) | |
438 (setq where (point)))) | |
439 (if where | |
440 (progn | |
441 (push-mark) | |
442 (goto-char where) | |
13122
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
443 (if view-overlay |
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
444 (move-overlay view-overlay (match-beginning 0) (match-end 0)) |
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
445 (setq view-overlay |
05bae277596e
(View-search-regexp-forward, View-search-regexp-backward):
Richard M. Stallman <rms@gnu.org>
parents:
13078
diff
changeset
|
446 (make-overlay (match-beginning 0) (match-end 0)))) |
13167
c378e215f4d0
(view-highlight-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
13158
diff
changeset
|
447 (overlay-put view-overlay 'face view-highlight-face) |
44 | 448 (beginning-of-line) |
449 (recenter (/ (view-window-size) 2))) | |
450 (message "Can't find occurrence %d of %s" times regexp) | |
451 (sit-for 4)))) | |
452 | |
354 | 453 |
584 | 454 (provide 'view) |
455 | |
657
fec3f9a1e3e5
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
584
diff
changeset
|
456 ;;; view.el ends here |