annotate lisp/progmodes/cpp.el @ 13230:ad1d4be6bb8d libc-951018 libc-951029 libc-951031 libc-951101 libc-951102 libc-951103 libc-951104 libc-951105 libc-951106 libc-951107 libc-951108 libc-951109 libc-951110 libc-951111 libc-951112 libc-951113 libc-951114 libc-951115 libc-951116 libc-951117 libc-951118 libc-951119 libc-951120 libc-951121 libc-951122 libc-951123 libc-951124 libc-951125 libc-951126 libc-951127 libc-951128 libc-951129 libc-951130

* config.guess: Recognize HP model 819 machines has having a PA 1.1 processor.
author Jeff Law <law@redhat.com>
date Mon, 16 Oct 1995 15:40:29 +0000
parents 2e09c796bf70
children 3e9e8b468bc1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 ;;; cpp.el --- Highlight or hide text according to cpp conditionals.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
3 ;; Copyright (C) 1994, 1995 Free Software Foundation
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
4
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
5 ;; Author: Per Abrahamsen <abraham@iesd.auc.dk>
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 ;; Keywords: c, faces, tools
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
8 ;; This file is part of GNU Emacs.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 ;; it under the terms of the GNU General Public License as published by
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 ;; the Free Software Foundation; either version 2, or (at your option)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 ;; any later version.
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
14
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
15 ;; GNU Emacs is distributed in the hope that it will be useful,
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 ;; GNU General Public License for more details.
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
19
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 ;; You should have received a copy of the GNU General Public License
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
21 ;; along with GNU Emacs; see the file COPYING. If not, write to
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23
8736
fe48762e68de *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8735
diff changeset
24 ;;; Commentary:
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
25
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
26 ;; Parse a text for C preprocessor conditionals, and highlight or hide
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
27 ;; the text inside the conditionals as you wish.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
28
8740
714588372e06 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8736
diff changeset
29 ;; This package is inspired by Jim Coplien's delta editor for SCCS.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
31 ;;; Todo:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
32
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 ;; Should parse "#if" and "#elif" expressions and merge the faces
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 ;; somehow.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 ;; Somehow it is sometimes possible to make changes near a read only
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 ;; area which you can't undo. Their are other strange effects in that
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 ;; area.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 ;; The Edit buffer should -- optionally -- appear in its own frame.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
41
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 ;; Conditionals seem to be rear-sticky. They shouldn't be.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 ;; Restore window configurations when exiting CPP Edit buffer.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 ;;; Code:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 ;;; Customization:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
49
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 (defvar cpp-known-face 'invisible
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 "*Face used for known cpp symbols.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 (defvar cpp-unknown-face 'highlight
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 "*Face used for unknown cpp cymbols.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 (defvar cpp-face-type 'light
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 "*Indicate what background face type you prefer.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 Can be either light or dark for color screens, mono for monochrome
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 screens, and none if you don't use a window system.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 (defvar cpp-known-writable t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 "*Non-nil means you are allowed to modify the known conditionals.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 (defvar cpp-unknown-writable t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 "*Non-nil means you are allowed to modify the unknown conditionals.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
67 (defvar cpp-edit-list nil
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
68 "Alist of cpp macros and information about how they should be displayed.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
69 Each entry is a list with the following elements:
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
70 0. The name of the macro (a string).
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
71 1. Face used for text that is `ifdef' the macro.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
72 2. Face used for text that is `ifndef' the macro.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
73 3. `t', `nil', or `both' depending on what text may be edited.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
74
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
75 (defvar cpp-overlay-list nil)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
76 ;; List of cpp overlays active in the current buffer.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
77 (make-variable-buffer-local 'cpp-overlay-list)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
78
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
79 (defvar cpp-callback-data)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
80 (defvar cpp-state-stack)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
81
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
82 (defconst cpp-face-type-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
83 '(("light color background" . light)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
84 ("dark color background" . dark)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
85 ("monochrome" . mono)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
86 ("tty" . none))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
87 "Alist of strings and names of the defined face collections.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
88
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
89 (defconst cpp-writable-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
90 ;; Names used for the writable property.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
91 '(("writable" . t)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
92 ("read-only" . nil)))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
93
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
94 (defvar cpp-button-event nil)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
95 ;; This will be t in the callback for `cpp-make-button'.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
96
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
97 (defvar cpp-edit-buffer nil)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
98 ;; Real buffer whose cpp display information we are editing.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
99 (make-variable-buffer-local 'cpp-edit-buffer)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
100
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
101 (defconst cpp-branch-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
102 ;; Alist of branches.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
103 '(("false" . nil)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
104 ("true" . t)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
105 ("both" . both)))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
106
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
107 (defvar cpp-face-default-list nil
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
108 "List of faces you can choose from for cpp conditionals.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
109
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
110 (defvar cpp-face-light-name-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
111 '("light gray" "light blue" "light cyan" "light yellow" "light pink"
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
112 "pale green" "beige" "orange" "magenta" "violet" "medium purple"
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
113 "turquoise")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
114 "Background colours useful with dark foreground colors.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
115
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
116 (defvar cpp-face-dark-name-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
117 '("dim gray" "blue" "cyan" "yellow" "red"
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
118 "dark green" "brown" "dark orange" "dark khaki" "dark violet" "purple"
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
119 "dark turquoise")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
120 "Background colours useful with light foreground colors.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
121
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
122 (defvar cpp-face-light-list nil
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
123 "Alist of names and faces to be used for light backgrounds.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
124
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
125 (defvar cpp-face-dark-list nil
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
126 "Alist of names and faces to be used for dark backgrounds.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
127
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
128 (defvar cpp-face-mono-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
129 '(("bold" . 'bold)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
130 ("bold-italic" . 'bold-italic)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
131 ("italic" . 'italic)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
132 ("underline" . 'underline))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
133 "Alist of names and faces to be used for monocrome screens.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
134
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
135 (defvar cpp-face-none-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
136 '(("default" . default)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
137 ("invisible" . invisible))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
138 "Alist of names and faces available even if you don't use a window system.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
139
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
140 (defvar cpp-face-all-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
141 (append cpp-face-light-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
142 cpp-face-dark-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
143 cpp-face-mono-list
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
144 cpp-face-none-list)
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
145 "All faces used for highligting text inside cpp conditionals.")
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
146
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147 ;;; Parse Buffer:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 (defvar cpp-parse-symbols nil
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
150 "List of cpp macros used in the local buffer.")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
151 (make-variable-buffer-local 'cpp-parse-symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
152
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
153 (defconst cpp-parse-regexp
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
154 ;; Regexp matching all tokens needed to find conditionals.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
155 (concat
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
156 "'\\|\"\\|/\\*\\|//\\|"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157 "\\(^[ \t]*#[ \t]*\\(ifdef\\|ifndef\\|if\\|"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 "elif\\|else\\|endif\\)\\b\\)"))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
160 ;;;###autoload
8741
9728aab0cab3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 8740
diff changeset
161 (defun cpp-highlight-buffer (arg)
9728aab0cab3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 8740
diff changeset
162 "Highlight C code according to preprocessor conditionals.
9728aab0cab3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 8740
diff changeset
163 This command pops up a buffer which you should edit to specify
9728aab0cab3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 8740
diff changeset
164 what kind of highlighting to use, and the criteria for highlighting.
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
165 A prefix arg suppresses display of that buffer."
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 (interactive "P")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 (setq cpp-parse-symbols nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 (cpp-parse-reset)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 (if (null cpp-edit-list)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
170 (cpp-edit-load))
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
171 (let (cpp-state-stack)
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
172 (save-excursion
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
173 (goto-char (point-min))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
174 (cpp-progress-message "Parsing...")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
175 (while (re-search-forward cpp-parse-regexp nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
176 (cpp-progress-message "Parsing...%d%%"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
177 (/ (* 100 (- (point) (point-min))) (buffer-size)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
178 (let ((match (buffer-substring (match-beginning 0) (match-end 0))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
179 (cond ((or (string-equal match "'")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
180 (string-equal match "\""))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
181 (goto-char (match-beginning 0))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
182 (condition-case nil
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 (forward-sexp)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 (error (cpp-parse-error
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 "Unterminated string or character"))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 ((string-equal match "/*")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 (or (search-forward "*/" nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
188 (error "Unterminated comment")))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
189 ((string-equal match "//")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
190 (skip-chars-forward "^\n\r"))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
191 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
192 (end-of-line 1)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
193 (let ((from (match-beginning 1))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
194 (to (1+ (point)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
195 (type (buffer-substring (match-beginning 2)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
196 (match-end 2)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 (expr (buffer-substring (match-end 1) (point))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
198 (cond ((string-equal type "ifdef")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
199 (cpp-parse-open t expr from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
200 ((string-equal type "ifndef")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
201 (cpp-parse-open nil expr from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 ((string-equal type "if")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 (cpp-parse-open t expr from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 ((string-equal type "elif")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
205 (let (cpp-known-face cpp-unknown-face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
206 (cpp-parse-close from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
207 (cpp-parse-open t expr from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
208 ((string-equal type "else")
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
209 (or cpp-state-stack
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
210 (cpp-parse-error "Top level #else"))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
211 (let ((entry (list (not (nth 0 (car cpp-state-stack)))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
212 (nth 1 (car cpp-state-stack))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
213 from to)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
214 (cpp-parse-close from to)
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
215 (setq cpp-state-stack (cons entry cpp-state-stack))))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 ((string-equal type "endif")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
217 (cpp-parse-close from to))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
218 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
219 (cpp-parse-error "Parser error"))))))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 (message "Parsing...done"))
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
221 (if cpp-state-stack
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
222 (save-excursion
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
223 (goto-char (nth 3 (car cpp-state-stack)))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
224 (cpp-parse-error "Unclosed conditional"))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
225 (or arg
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
226 (null cpp-parse-symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
227 (cpp-parse-edit)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
228
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
229 (defun cpp-parse-open (branch expr begin end)
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
230 "Push information about conditional-beginning onto `cpp-state-stack'."
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
231 ;; Discard comments within this line.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
232 (while (string-match "\\b[ \t]*/\\*.*\\*/[ \t]*\\b" expr)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
233 (setq expr (concat (substring expr 0 (match-beginning 0))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
234 (substring expr (match-end 0)))))
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
235 ;; If a comment starts on this line and continues past, discard it.
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
236 (if (string-match "\\b[ \t]*/\\*" expr)
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
237 (setq expr (substring expr 0 (match-beginning 0))))
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
238 ;; Delete any C++ comment from the line.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
239 (if (string-match "\\b[ \t]*\\(//.*\\)?$" expr)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
240 (setq expr (substring expr 0 (match-beginning 0))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
241 (while (string-match "[ \t]+" expr)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
242 (setq expr (concat (substring expr 0 (match-beginning 0))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 (substring expr (match-end 0)))))
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
244 (setq cpp-state-stack (cons (list branch expr begin end) cpp-state-stack))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
245 (or (member expr cpp-parse-symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
246 (setq cpp-parse-symbols
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
247 (cons expr cpp-parse-symbols)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
248 (if (assoc expr cpp-edit-list)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
249 (cpp-make-known-overlay begin end)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
250 (cpp-make-unknown-overlay begin end)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
251
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
252 (defun cpp-parse-close (from to)
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
253 ;; Pop top of cpp-state-stack and create overlay.
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
254 (let ((entry (assoc (nth 1 (car cpp-state-stack)) cpp-edit-list))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
255 (branch (nth 0 (car cpp-state-stack)))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
256 (begin (nth 2 (car cpp-state-stack)))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
257 (end (nth 3 (car cpp-state-stack))))
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
258 (setq cpp-state-stack (cdr cpp-state-stack))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
259 (if entry
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
260 (let ((face (nth (if branch 1 2) entry))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 (read-only (eq (not branch) (nth 3 entry)))
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
262 (priority (length cpp-state-stack))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
263 (overlay (make-overlay end from)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
264 (cpp-make-known-overlay from to)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
265 (setq cpp-overlay-list (cons overlay cpp-overlay-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
266 (if priority (overlay-put overlay 'priority priority))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 (cond ((eq face 'invisible)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
268 (cpp-make-overlay-hidden overlay))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
269 ((eq face 'default))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
270 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
271 (overlay-put overlay 'face face)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
272 (if read-only
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
273 (cpp-make-overlay-read-only overlay)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
274 (cpp-make-overlay-sticky overlay)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
275 (cpp-make-unknown-overlay from to))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
276
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
277 (defun cpp-parse-error (error)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
278 ;; Error message issued by the cpp parser.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
279 (error (concat error " at line %d") (count-lines (point-min) (point))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
280
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
281 (defun cpp-parse-reset ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
282 "Reset display of cpp conditionals to normal."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
283 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
284 (while cpp-overlay-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
285 (delete-overlay (car cpp-overlay-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
286 (setq cpp-overlay-list (cdr cpp-overlay-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
287
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
288 ;;;###autoload
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
289 (defun cpp-parse-edit ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
290 "Edit display information for cpp conditionals."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
291 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
292 (or cpp-parse-symbols
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
293 (cpp-highlight-buffer t))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
294 (let ((buffer (current-buffer)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
295 (pop-to-buffer "*CPP Edit*")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
296 (cpp-edit-mode)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
297 (setq cpp-edit-buffer buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
298 (cpp-edit-reset)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
299
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
300 ;;; Overlays:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
301
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
302 (defun cpp-make-known-overlay (start end)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
303 ;; Create an overlay for a known cpp command from START to END.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
304 (let ((overlay (make-overlay start end)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
305 (if (eq cpp-known-face 'invisible)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
306 (cpp-make-overlay-hidden overlay)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
307 (or (eq cpp-known-face 'default)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
308 (overlay-put overlay 'face cpp-known-face))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
309 (if cpp-known-writable
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
310 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
311 (overlay-put overlay 'modification-hooks '(cpp-signal-read-only))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
312 (overlay-put overlay 'insert-in-front-hooks '(cpp-signal-read-only))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
313 (setq cpp-overlay-list (cons overlay cpp-overlay-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
314
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
315 (defun cpp-make-unknown-overlay (start end)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
316 ;; Create an overlay for an unknown cpp command from START to END.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
317 (let ((overlay (make-overlay start end)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
318 (cond ((eq cpp-unknown-face 'invisible)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
319 (cpp-make-overlay-hidden overlay))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
320 ((eq cpp-unknown-face 'default))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
321 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
322 (overlay-put overlay 'face cpp-unknown-face)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
323 (if cpp-unknown-writable
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
324 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
325 (overlay-put overlay 'modification-hooks '(cpp-signal-read-only))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
326 (overlay-put overlay 'insert-in-front-hooks '(cpp-signal-read-only)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
327 (setq cpp-overlay-list (cons overlay cpp-overlay-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
328
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
329 (defun cpp-make-overlay-hidden (overlay)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
330 ;; Make overlay hidden and intangible.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
331 (overlay-put overlay 'invisible t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
332 (overlay-put overlay 'intangible t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
333 ;; Unfortunately `intangible' is not implemented for overlays yet,
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
334 ;; so we make is read-only instead.
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
335 (overlay-put overlay 'modification-hooks '(cpp-signal-read-only))
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
336 (overlay-put overlay 'insert-in-front-hooks '(cpp-signal-read-only)))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
337
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
338 (defun cpp-make-overlay-read-only (overlay)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
339 ;; Make overlay read only.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
340 (overlay-put overlay 'modification-hooks '(cpp-signal-read-only))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
341 (overlay-put overlay 'insert-in-front-hooks '(cpp-signal-read-only))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
342 (overlay-put overlay 'insert-behind-hooks '(cpp-signal-read-only)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
343
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
344 (defun cpp-make-overlay-sticky (overlay)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
345 ;; Make OVERLAY grow when you insert text at either end.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
346 (overlay-put overlay 'insert-in-front-hooks '(cpp-grow-overlay))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
347 (overlay-put overlay 'insert-behind-hooks '(cpp-grow-overlay)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
348
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
349 (defun cpp-signal-read-only (overlay after start end &optional len)
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
350 ;; Only allow deleting the whole overlay.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
351 ;; Trying to change a read-only overlay.
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
352 (if (and (not after)
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
353 (or (< (overlay-start overlay) start)
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
354 (> (overlay-end overlay) end)))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
355 (error "This text is read only")))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
356
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
357 (defun cpp-grow-overlay (overlay after start end &optional len)
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
358 ;; Make OVERLAY grow to contain range START to END.
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
359 (if after
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
360 (move-overlay overlay
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
361 (min start (overlay-start overlay))
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
362 (max end (overlay-end overlay)))))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
363
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
364 ;;; Edit Buffer:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
365
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
366 (defvar cpp-edit-map nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
367 ;; Keymap for `cpp-edit-mode'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
368
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
369 (if cpp-edit-map
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
370 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
371 (setq cpp-edit-map (make-keymap))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
372 (suppress-keymap cpp-edit-map)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
373 (define-key cpp-edit-map [ down-mouse-2 ] 'cpp-push-button)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
374 (define-key cpp-edit-map [ mouse-2 ] 'ignore)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
375 (define-key cpp-edit-map " " 'scroll-up)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
376 (define-key cpp-edit-map "\C-?" 'scroll-down)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
377 (define-key cpp-edit-map [ delete ] 'scroll-down)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
378 (define-key cpp-edit-map "\C-c\C-c" 'cpp-edit-apply)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
379 (define-key cpp-edit-map "a" 'cpp-edit-apply)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
380 (define-key cpp-edit-map "A" 'cpp-edit-apply)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
381 (define-key cpp-edit-map "r" 'cpp-edit-reset)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
382 (define-key cpp-edit-map "R" 'cpp-edit-reset)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
383 (define-key cpp-edit-map "s" 'cpp-edit-save)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
384 (define-key cpp-edit-map "S" 'cpp-edit-save)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
385 (define-key cpp-edit-map "l" 'cpp-edit-load)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
386 (define-key cpp-edit-map "L" 'cpp-edit-load)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
387 (define-key cpp-edit-map "h" 'cpp-edit-home)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
388 (define-key cpp-edit-map "H" 'cpp-edit-home)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
389 (define-key cpp-edit-map "b" 'cpp-edit-background)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
390 (define-key cpp-edit-map "B" 'cpp-edit-background)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
391 (define-key cpp-edit-map "k" 'cpp-edit-known)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
392 (define-key cpp-edit-map "K" 'cpp-edit-known)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
393 (define-key cpp-edit-map "u" 'cpp-edit-unknown)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
394 (define-key cpp-edit-map "u" 'cpp-edit-unknown)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
395 (define-key cpp-edit-map "t" 'cpp-edit-true)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
396 (define-key cpp-edit-map "T" 'cpp-edit-true)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
397 (define-key cpp-edit-map "f" 'cpp-edit-false)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
398 (define-key cpp-edit-map "F" 'cpp-edit-false)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
399 (define-key cpp-edit-map "w" 'cpp-edit-write)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
400 (define-key cpp-edit-map "W" 'cpp-edit-write)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
401 (define-key cpp-edit-map "X" 'cpp-edit-toggle-known)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
402 (define-key cpp-edit-map "x" 'cpp-edit-toggle-known)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
403 (define-key cpp-edit-map "Y" 'cpp-edit-toggle-unknown)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
404 (define-key cpp-edit-map "y" 'cpp-edit-toggle-unknown)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
405 (define-key cpp-edit-map "q" 'bury-buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
406 (define-key cpp-edit-map "Q" 'bury-buffer))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
407
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
408 (defvar cpp-edit-symbols nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
409 ;; Symbols defined in the edit buffer.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
410 (make-variable-buffer-local 'cpp-edit-symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
411
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
412 (defun cpp-edit-mode ()
8741
9728aab0cab3 entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 8740
diff changeset
413 "Major mode for editing the criteria for highlighting cpp conditionals.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
414 Click on objects to change them.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
415 You can also use the keyboard accelerators indicated like this: [K]ey."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
416 (kill-all-local-variables)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
417 (buffer-disable-undo)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
418 (auto-save-mode -1)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
419 (setq buffer-read-only t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
420 (setq major-mode 'cpp-edit-mode)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
421 (setq mode-name "CPP Edit")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
422 (use-local-map cpp-edit-map))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
423
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
424 (defun cpp-edit-apply ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
425 "Apply edited display information to original buffer."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
426 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
427 (cpp-edit-home)
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
428 (cpp-highlight-buffer t))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
429
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
430 (defun cpp-edit-reset ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
431 "Reset display information from original buffer."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
432 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
433 (let ((buffer (current-buffer))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
434 (buffer-read-only nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
435 (start (window-start))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
436 (pos (point))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
437 symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
438 (set-buffer cpp-edit-buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
439 (setq symbols cpp-parse-symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
440 (set-buffer buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
441 (setq cpp-edit-symbols symbols)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
442 (erase-buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
443 (insert "CPP Display Information for `")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
444 (cpp-make-button (buffer-name cpp-edit-buffer) 'cpp-edit-home)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
445 (insert "\n\nClick mouse-2 on item you want to change or use\n"
11456
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
446 "or switch to this buffer and type the keyboard equivalents.\n"
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
447 "Keyboard equivalents are indicated with brackets like [T]his.\n\n")
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
448 (cpp-make-button "[H]ome (display the C file)" 'cpp-edit-home)
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
449 (insert " ")
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
450 (cpp-make-button "[A]pply new settings" 'cpp-edit-apply)
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
451 (insert "\n")
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
452 (cpp-make-button "[S]ave settings" 'cpp-edit-save)
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
453 (insert " ")
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
454 (cpp-make-button "[L]oad settings" 'cpp-edit-load)
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
455 (insert "\n\n")
0950bf9c8d06 (cpp-parse-open): Delete comments that go past end of line.
Richard M. Stallman <rms@gnu.org>
parents: 8741
diff changeset
456
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
457 (insert "[B]ackground: ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
458 (cpp-make-button (car (rassq cpp-face-type cpp-face-type-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
459 'cpp-edit-background)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
460 (insert "\n[K]nown conditionals: ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
461 (cpp-make-button (cpp-face-name cpp-known-face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
462 'cpp-edit-known nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
463 (insert " [X] ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
464 (cpp-make-button (car (rassq cpp-known-writable cpp-writable-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
465 'cpp-edit-toggle-known)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
466 (insert "\n[U]nknown conditionals: ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
467 (cpp-make-button (cpp-face-name cpp-unknown-face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
468 'cpp-edit-unknown nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
469 (insert " [Y] ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
470 (cpp-make-button (car (rassq cpp-unknown-writable cpp-writable-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
471 'cpp-edit-toggle-unknown)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
472 (insert (format "\n\n\n%39s: %14s %14s %7s\n\n" "Expression"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
473 "[T]rue Face" "[F]alse Face" "[W]rite"))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
474 (while symbols
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
475 (let* ((symbol (car symbols))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
476 (entry (assoc symbol cpp-edit-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
477 (true (nth 1 entry))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
478 (false (nth 2 entry))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
479 (write (if entry (nth 3 entry) 'both)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
480 (setq symbols (cdr symbols))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
481
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
482 (if (and entry ; Make default entries unknown.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
483 (or (null true) (eq true 'default))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
484 (or (null false) (eq false 'default))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
485 (eq write 'both))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
486 (setq cpp-edit-list (delq entry cpp-edit-list)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
487 entry nil))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
488
11492
2e09c796bf70 (cpp-edit-reset): Fix typo.
Richard M. Stallman <rms@gnu.org>
parents: 11480
diff changeset
489 (if (> (length symbol) 39)
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
490 (insert (substring symbol 0 39) ": ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
491 (insert (format "%39s: " symbol)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
492
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
493 (cpp-make-button (cpp-face-name true)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
494 'cpp-edit-true symbol t 14)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
495 (insert " ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
496 (cpp-make-button (cpp-face-name false)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
497 'cpp-edit-false symbol t 14)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
498 (insert " ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
499 (cpp-make-button (car (rassq write cpp-branch-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
500 'cpp-edit-write symbol nil 6)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
501 (insert "\n")))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
502 (insert "\n\n")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
503 (set-window-start nil start)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
504 (goto-char pos)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
505
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
506 (defun cpp-edit-load ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
507 "Load cpp configuration."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
508 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
509 (cond ((file-readable-p ".cpp.el")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
510 (load-file ".cpp.el"))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
511 ((file-readable-p "~/.cpp.el")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
512 (load-file ".cpp.el")))
8740
714588372e06 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8736
diff changeset
513 (if (eq major-mode 'cpp-edit-mode)
714588372e06 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 8736
diff changeset
514 (cpp-edit-reset)))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
515
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
516 (defun cpp-edit-save ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
517 "Load cpp configuration."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
518 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
519 (require 'pp)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
520 (save-excursion
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
521 (set-buffer cpp-edit-buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
522 (let ((buffer (find-file-noselect ".cpp.el")))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
523 (set-buffer buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
524 (erase-buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
525 (pp (list 'setq 'cpp-known-face
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
526 (list 'quote cpp-known-face)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
527 (pp (list 'setq 'cpp-unknown-face
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
528 (list 'quote cpp-unknown-face)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
529 (pp (list 'setq 'cpp-face-type
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
530 (list 'quote cpp-face-type)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
531 (pp (list 'setq 'cpp-known-writable
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
532 (list 'quote cpp-known-writable)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
533 (pp (list 'setq 'cpp-unknown-writable
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
534 (list 'quote cpp-unknown-writable)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
535 (pp (list 'setq 'cpp-edit-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
536 (list 'quote cpp-edit-list)) buffer)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
537 (write-file ".cpp.el"))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
538
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
539 (defun cpp-edit-home ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
540 "Switch back to original buffer."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
541 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
542 (if cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
543 (read-event))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
544 (pop-to-buffer cpp-edit-buffer))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
545
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
546 (defun cpp-edit-background ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
547 "Change default face collection."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
548 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
549 (call-interactively 'cpp-choose-default-face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
550 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
551
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
552 (defun cpp-edit-known ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
553 "Select default for known conditionals."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
554 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
555 (setq cpp-known-face (cpp-choose-face "Known face" cpp-known-face))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
556 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
557
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
558 (defun cpp-edit-unknown ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
559 "Select default for unknown conditionals."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
560 (interactive)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
561 (setq cpp-unknown-face (cpp-choose-face "Unknown face" cpp-unknown-face))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
562 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
563
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
564 (defun cpp-edit-toggle-known (arg)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
565 "Toggle writable status for known conditionals.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
566 With optional argument ARG, make them writable iff ARG is positive."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
567 (interactive "@P")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
568 (if (or (and (null arg) cpp-known-writable)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
569 (<= (prefix-numeric-value arg) 0))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
570 (setq cpp-known-writable nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
571 (setq cpp-known-writable t))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
572 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
573
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
574 (defun cpp-edit-toggle-unknown (arg)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
575 "Toggle writable status for unknown conditionals.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
576 With optional argument ARG, make them writable iff ARG is positive."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
577 (interactive "@P")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
578 (if (or (and (null arg) cpp-unknown-writable)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
579 (<= (prefix-numeric-value arg) 0))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
580 (setq cpp-unknown-writable nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
581 (setq cpp-unknown-writable t))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
582 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
583
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
584 (defun cpp-edit-true (symbol face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
585 "Select SYMBOL's true FACE used for highlighting taken conditionals."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
586 (interactive
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
587 (let ((symbol (cpp-choose-symbol)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
588 (list symbol
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
589 (cpp-choose-face "True face"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
590 (nth 1 (assoc symbol cpp-edit-list))))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
591 (setcar (nthcdr 1 (cpp-edit-list-entry-get-or-create symbol)) face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
592 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
593
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
594 (defun cpp-edit-false (symbol face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
595 "Select SYMBOL's false FACE used for highlighting untaken conditionals."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
596 (interactive
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
597 (let ((symbol (cpp-choose-symbol)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
598 (list symbol
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
599 (cpp-choose-face "False face"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
600 (nth 2 (assoc symbol cpp-edit-list))))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
601 (setcar (nthcdr 2 (cpp-edit-list-entry-get-or-create symbol)) face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
602 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
603
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
604 (defun cpp-edit-write (symbol branch)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
605 "Set which branches of SYMBOL should be writable to BRANCH.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
606 BRANCH should be either nil (false branch), t (true branch) or 'both."
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
607 (interactive (list (cpp-choose-symbol) (cpp-choose-branch)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
608 (setcar (nthcdr 3 (cpp-edit-list-entry-get-or-create symbol)) branch)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
609 (cpp-edit-reset))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
610
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
611 (defun cpp-edit-list-entry-get-or-create (symbol)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
612 ;; Return the entry for SYMBOL in `cpp-edit-list'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
613 ;; If it does not exist, create it.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
614 (let ((entry (assoc symbol cpp-edit-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
615 (or entry
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
616 (setq entry (list symbol nil nil 'both nil)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
617 cpp-edit-list (cons entry cpp-edit-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
618 entry))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
619
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
620 ;;; Prompts:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
621
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
622 (defun cpp-choose-symbol ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
623 ;; Choose a symbol if called from keyboard, otherwise use the one clicked on.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
624 (if cpp-button-event
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
625 cpp-callback-data
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
626 (completing-read "Symbol: " (mapcar 'list cpp-edit-symbols) nil t)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
627
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
628 (defun cpp-choose-branch ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
629 ;; Choose a branch, either nil, t, or both.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
630 (if cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
631 (x-popup-menu cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
632 (list "Branch" (cons "Branch" cpp-branch-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
633 (cdr (assoc (completing-read "Branch: " cpp-branch-list nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
634 cpp-branch-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
635
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
636 (defun cpp-choose-face (prompt default)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
637 ;; Choose a face from cpp-face-defalt-list.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
638 ;; PROMPT is what to say to the user.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
639 ;; DEFAULT is the default face.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
640 (or (if cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
641 (x-popup-menu cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
642 (list prompt (cons prompt cpp-face-default-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
643 (let ((name (car (rassq default cpp-face-default-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
644 (cdr (assoc (completing-read (if name
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
645 (concat prompt
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
646 " (default " name "): ")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
647 (concat prompt ": "))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
648 cpp-face-default-list nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
649 cpp-face-all-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
650 default))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
651
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
652 (defun cpp-choose-default-face (type)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
653 ;; Choose default face list for screen of TYPE.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
654 ;; Type must be one of the types defined in `cpp-face-type-list'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
655 (interactive (list (if cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
656 (x-popup-menu cpp-button-event
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
657 (list "Screen type"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
658 (cons "Screen type"
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
659 cpp-face-type-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
660 (cdr (assoc (completing-read "Screen type: "
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
661 cpp-face-type-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
662 nil t)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
663 cpp-face-type-list)))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
664 (cond ((null type))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
665 ((eq type 'light)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
666 (if cpp-face-light-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
667 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
668 (setq cpp-face-light-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
669 (mapcar 'cpp-create-bg-face cpp-face-light-name-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
670 (setq cpp-face-all-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
671 (append cpp-face-all-list cpp-face-light-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
672 (setq cpp-face-type 'light)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
673 (setq cpp-face-default-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
674 (append cpp-face-light-list cpp-face-none-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
675 ((eq type 'dark)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
676 (if cpp-face-dark-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
677 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
678 (setq cpp-face-dark-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
679 (mapcar 'cpp-create-bg-face cpp-face-dark-name-list))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
680 (setq cpp-face-all-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
681 (append cpp-face-all-list cpp-face-dark-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
682 (setq cpp-face-type 'dark)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
683 (setq cpp-face-default-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
684 (append cpp-face-dark-list cpp-face-none-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
685 ((eq type 'mono)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
686 (setq cpp-face-type 'mono)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
687 (setq cpp-face-default-list
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
688 (append cpp-face-mono-list cpp-face-none-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
689 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
690 (setq cpp-face-type 'none)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
691 (setq cpp-face-default-list cpp-face-none-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
692
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
693 ;;; Buttons:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
694
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
695 (defun cpp-make-button (name callback &optional data face padding)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
696 ;; Create a button at point.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
697 ;; NAME is the name of the button.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
698 ;; CALLBACK is the function to call when the button is pushed.
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
699 ;; DATA will be made available to CALLBACK
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
700 ;;in the free variable cpp-callback-data.
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
701 ;; FACE means that NAME is the name of a face in `cpp-face-all-list'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
702 ;; PADDING means NAME will be right justified at that length.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
703 (let ((name (format "%s" name))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
704 from to)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
705 (cond ((null padding)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
706 (setq from (point))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
707 (insert name))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
708 ((> (length name) padding)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
709 (setq from (point))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
710 (insert (substring name 0 padding)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
711 (t
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
712 (insert (make-string (- padding (length name)) ? ))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
713 (setq from (point))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
714 (insert name)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
715 (setq to (point))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
716 (setq face
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
717 (if face
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
718 (let ((check (cdr (assoc name cpp-face-all-list))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
719 (if (memq check '(default invisible))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
720 'bold
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
721 check))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
722 'bold))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
723 (add-text-properties from to
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
724 (append (list 'face face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
725 '(mouse-face highlight)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
726 (list 'cpp-callback callback)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
727 (if data (list 'cpp-data data))))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
728
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
729 (defun cpp-push-button (event)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
730 ;; Pushed a CPP button.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
731 (interactive "@e")
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
732 (set-buffer (window-buffer (posn-window (event-start event))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
733 (let ((pos (posn-point (event-start event))))
11480
5865f4bc9521 (cpp-edit-list): Move definition toward start of file.
Richard M. Stallman <rms@gnu.org>
parents: 11456
diff changeset
734 (let ((cpp-callback-data (get-text-property pos 'cpp-data))
8735
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
735 (fun (get-text-property pos 'cpp-callback))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
736 (cpp-button-event event))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
737 (cond (fun
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
738 (call-interactively (get-text-property pos 'cpp-callback)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
739 ((lookup-key global-map [ down-mouse-2])
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
740 (call-interactively (lookup-key global-map [ down-mouse-2])))))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
741
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
742 ;;; Faces:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
743
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
744 (defun cpp-create-bg-face (color)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
745 ;; Create entry for face with background COLOR.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
746 (let ((name (intern (concat "cpp " color))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
747 (make-face name)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
748 (set-face-background name color)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
749 (cons color name)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
750
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
751 (cpp-choose-default-face (if window-system cpp-face-type 'none))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
752
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
753 (defun cpp-face-name (face)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
754 ;; Return the name of FACE from `cpp-face-all-list'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
755 (let ((entry (rassq (if face face 'default) cpp-face-all-list)))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
756 (if entry
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
757 (car entry)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
758 (format "<%s>" face))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
759
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
760 ;;; Utilities:
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
761
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
762 (defvar cpp-progress-time 0)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
763 ;; Last time we issued a progress message.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
764
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
765 (defun cpp-progress-message (&rest args)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
766 ;; Report progress at most once a second. Take same ARGS as `message'.
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
767 (let ((time (nth 1 (current-time))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
768 (if (= time cpp-progress-time)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
769 ()
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
770 (setq cpp-progress-time time)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
771 (apply 'message args))))
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
772
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
773 (provide 'cpp)
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
774
d1f0811de024 Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
775 ;;; cpp.el ends here