annotate lisp/options.el @ 5472:ed690a728e13

(compilation-buffer-p): Move defsubst before all callers. (compilation-forget-errors): Reset compilation-parsing-end to 1 here. (compile-reinitialize-errors): Don't reset compilation-parsing-end after calling compilation-forget-errors. Comment out gratuitous switch-to-buffer call; what was the rationale for it? Don't check compilation-parsing-end (removed local AT-START); instead always append to compilation-old-error-list, it will be nil if at start. If compilation-error-list is non-nil before calling the parser, restore its previous value afterwards; it still indicates the current error position. Subtract the length of the existing compilation-error-list from FIND-AT-LEAST when calling the parser. (compilation-parse-errors): Don't check LIMIT-SEARCH at end of loop. Inside check it inside each case of the cond; in error case we must discard the last new error before stopping (just as for FIND-AT-LEAST). Use floating-point in buffer percentage calculation, to avoid integer overflow.
author Roland McGrath <roland@gnu.org>
date Thu, 06 Jan 1994 15:25:19 +0000
parents f287613dfc28
children b808c61b7ee1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
1 ;;; options.el --- edit Options command for Emacs.
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
2
845
213978acbc1e entered into RCS
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 807
diff changeset
3 ;; Copyright (C) 1985 Free Software Foundation, Inc.
213978acbc1e entered into RCS
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: 659
diff changeset
5 ;; Maintainer: FSF
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
6
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
7 ;; This file is part of GNU Emacs.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
8
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
9 ;; GNU Emacs is free software; you can redistribute it and/or modify
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
10 ;; 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: 659
diff changeset
11 ;; the Free Software Foundation; either version 2, or (at your option)
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
12 ;; any later version.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
13
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
14 ;; GNU Emacs is distributed in the hope that it will be useful,
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
17 ;; GNU General Public License for more details.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
18
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
19 ;; You should have received a copy of the GNU General Public License
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
20 ;; along with GNU Emacs; see the file COPYING. If not, write to
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
22
2308
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
23 ;;; Commentary:
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
24
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
25 ;; This code provides functions to list and edit the values of all global
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
26 ;; option variables known to loaded Emacs Lisp code. There are two entry
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
27 ;; points, `list-options' and `edit' options'. The latter enters a major
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
28 ;; mode specifically for editing option values. Do `M-x describe-mode' in
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
29 ;; that context for more details.
f287613dfc28 Added or corrected Commentary sections
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 845
diff changeset
30
807
4f28bd14272c *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 659
diff changeset
31 ;;; Code:
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
32
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 233
diff changeset
33 ;;;###autoload
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
34 (defun list-options ()
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
35 "Display a list of Emacs user options, with values and documentation."
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
36 (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
37 (save-excursion
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
38 (set-buffer (get-buffer-create "*List Options*"))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
39 (Edit-options-mode))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
40 (with-output-to-temp-buffer "*List Options*"
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
41 (let (vars)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
42 (mapatoms (function (lambda (sym)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
43 (if (user-variable-p sym)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
44 (setq vars (cons sym vars))))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
45 (setq vars (sort vars 'string-lessp))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
46 (while vars
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
47 (let ((sym (car vars)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
48 (princ ";; ")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
49 (prin1 sym)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
50 (princ ":\n\t")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
51 (prin1 (symbol-value sym))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
52 (terpri)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
53 (princ (substitute-command-keys
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
54 (documentation-property sym 'variable-documentation)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
55 (princ "\n;;\n"))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
56 (setq vars (cdr vars))))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
57
258
1e0bc00dca7a *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 233
diff changeset
58 ;;;###autoload
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
59 (defun edit-options ()
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
60 "Edit a list of Emacs user option values.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
61 Selects a buffer containing such a list,
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
62 in which there are commands to set the option values.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
63 Type \\[describe-mode] in that buffer for a list of commands."
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
64 (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
65 (list-options)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
66 (pop-to-buffer "*List Options*"))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
67
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
68 (defvar Edit-options-mode-map
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
69 (let ((map (make-keymap)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
70 (define-key map "s" 'Edit-options-set)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
71 (define-key map "x" 'Edit-options-toggle)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
72 (define-key map "1" 'Edit-options-t)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
73 (define-key map "0" 'Edit-options-nil)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
74 (define-key map "p" 'backward-paragraph)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
75 (define-key map " " 'forward-paragraph)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
76 (define-key map "n" 'forward-paragraph)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
77 map)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
78 "")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
79
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
80 ;; Edit Options mode is suitable only for specially formatted data.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
81 (put 'Edit-options-mode 'mode-class 'special)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
82
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
83 (defun Edit-options-mode ()
233
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
84 "\\<Edit-options-mode-map>\
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
85 Major mode for editing Emacs user option settings.
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
86 Special commands are:
233
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
87 \\[Edit-options-set] -- set variable point points at. New value read using minibuffer.
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
88 \\[Edit-options-toggle] -- toggle variable, t -> nil, nil -> t.
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
89 \\[Edit-options-t] -- set variable to t.
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
90 \\[Edit-options-nil] -- set variable to nil.
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
91 Changed values made by these commands take effect immediately.
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
92
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
93 Each variable description is a paragraph.
233
3f28d7f1c174 *** empty log message ***
Brian Preble <rassilon@gnu.org>
parents: 228
diff changeset
94 For convenience, the characters \\[backward-paragraph] and \\[forward-paragraph] move back and forward by paragraphs."
228
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
95 (kill-all-local-variables)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
96 (set-syntax-table emacs-lisp-mode-syntax-table)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
97 (use-local-map Edit-options-mode-map)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
98 (make-local-variable 'paragraph-separate)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
99 (setq paragraph-separate "[^\^@-\^?]")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
100 (make-local-variable 'paragraph-start)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
101 (setq paragraph-start "^\t")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
102 (setq truncate-lines t)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
103 (setq major-mode 'Edit-options-mode)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
104 (setq mode-name "Options")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
105 (run-hooks 'Edit-options-mode-hook))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
106
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
107 (defun Edit-options-set () (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
108 (Edit-options-modify
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
109 '(lambda (var) (eval-minibuffer (concat "New " (symbol-name var) ": ")))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
110
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
111 (defun Edit-options-toggle () (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
112 (Edit-options-modify '(lambda (var) (not (symbol-value var)))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
113
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
114 (defun Edit-options-t () (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
115 (Edit-options-modify '(lambda (var) t)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
116
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
117 (defun Edit-options-nil () (interactive)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
118 (Edit-options-modify '(lambda (var) nil)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
119
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
120 (defun Edit-options-modify (modfun)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
121 (save-excursion
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
122 (let (var pos)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
123 (re-search-backward "^;; \\|\\`")
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
124 (forward-char 3)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
125 (setq pos (point))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
126 (save-restriction
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
127 (narrow-to-region pos (progn (end-of-line) (1- (point))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
128 (goto-char pos)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
129 (setq var (read (current-buffer))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
130 (goto-char pos)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
131 (forward-line 1)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
132 (forward-char 1)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
133 (save-excursion
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
134 (set var (funcall modfun var)))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
135 (kill-sexp 1)
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
136 (prin1 (symbol-value var) (current-buffer)))))
997a3c98d127 Initial revision
Raul Acevedo <kitaro@gnu.org>
parents:
diff changeset
137
659
505130d1ddf8 *** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents: 258
diff changeset
138 ;;; options.el ends here