Mercurial > emacs
annotate lisp/paren.el @ 32332:70f7c8ff11ff
*** empty log message ***
author | Dave Love <fx@gnu.org> |
---|---|
date | Mon, 09 Oct 2000 11:12:06 +0000 |
parents | 236a7f6d898d |
children | cbfead93715d |
rev | line source |
---|---|
3912 | 1 ;;; paren.el --- highlight matching paren. |
14169 | 2 |
14706
e7352445b396
(show-paren-delay): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14624
diff
changeset
|
3 ;; Copyright (C) 1993, 1996 Free Software Foundation, Inc. |
3912 | 4 |
25278 | 5 ;; Author: rms@gnu.org |
3977 | 6 ;; Maintainer: FSF |
7 ;; Keywords: languages, faces | |
3976 | 8 |
3912 | 9 ;; This file is part of GNU Emacs. |
10 | |
11 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
12 ;; it under the terms of the GNU General Public License as published by | |
13 ;; the Free Software Foundation; either version 2, or (at your option) | |
14 ;; any later version. | |
15 | |
16 ;; GNU Emacs is distributed in the hope that it will be useful, | |
17 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 ;; GNU General Public License for more details. | |
20 | |
21 ;; You should have received a copy of the GNU General Public License | |
14169 | 22 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
23 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
24 ;; Boston, MA 02111-1307, USA. | |
3912 | 25 |
26 ;;; Commentary: | |
27 | |
28 ;; Load this and it will display highlighting on whatever | |
29 ;; paren matches the one before or after point. | |
30 | |
31 ;;; Code: | |
32 | |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
33 (defgroup paren-showing nil |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
34 "Showing (un)matching of parens and expressions." |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
35 :prefix "show-paren-" |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
36 :group 'paren-matching) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
37 |
4123
b05c50e08993
Enable the hook only if window-system.
Richard M. Stallman <rms@gnu.org>
parents:
4059
diff
changeset
|
38 ;; This is the overlay used to highlight the matching paren. |
3917 | 39 (defvar show-paren-overlay nil) |
14706
e7352445b396
(show-paren-delay): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14624
diff
changeset
|
40 ;; This is the overlay used to highlight the closeparen right before point. |
4123
b05c50e08993
Enable the hook only if window-system.
Richard M. Stallman <rms@gnu.org>
parents:
4059
diff
changeset
|
41 (defvar show-paren-overlay-1 nil) |
b05c50e08993
Enable the hook only if window-system.
Richard M. Stallman <rms@gnu.org>
parents:
4059
diff
changeset
|
42 |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
43 (defcustom show-paren-style 'parenthesis |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
44 "*Style used when showing a matching paren. |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
45 Valid styles are `parenthesis' (meaning show the matching paren), |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
46 `expression' (meaning show the entire expression enclosed by the paren) and |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
47 `mixed' (meaning show the matching paren if it is visible, and the expression |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
48 otherwise)." |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
49 :type '(choice (const parenthesis) (const expression) (const mixed)) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
50 :group 'paren-showing) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
51 |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
52 (defcustom show-paren-delay |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
53 (if (featurep 'lisp-float-type) (/ (float 1) (float 8)) 1) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
54 "*Time in seconds to delay before showing a matching paren." |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
55 :type '(number :tag "seconds") |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
56 :group 'paren-showing) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
57 |
30787
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
58 (defcustom show-paren-priority 1000 |
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
59 "*Priority of paren highlighting overlays." |
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
60 :type 'integer |
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
61 :group 'paren-showing |
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
62 :version "21.1") |
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
63 |
21891
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
64 (defcustom show-paren-ring-bell-on-mismatch nil |
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
65 "*If non-nil, beep if mismatched paren is detected." |
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
66 :type 'boolean |
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
67 :group 'paren-showing |
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
68 :version "20.3") |
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
69 |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
70 (defface show-paren-match-face |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
71 '((((class color)) (:background "turquoise")) |
18837
9b248fbd740f
(show-paren-match-face): Use gray on all non-color screens.
Richard M. Stallman <rms@gnu.org>
parents:
18582
diff
changeset
|
72 (t (:background "gray"))) |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
73 "Show Paren mode face used for a matching paren." |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
74 :group 'faces |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
75 :group 'paren-showing) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
76 |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
77 (defface show-paren-mismatch-face |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
78 '((((class color)) (:foreground "white" :background "purple")) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
79 (t (:reverse-video t))) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
80 "Show Paren mode face used for a mismatching paren." |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
81 :group 'faces |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
82 :group 'paren-showing) |
4183
a5f0a739d87d
(show-paren-face): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
4123
diff
changeset
|
83 |
18582
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
84 (defvar show-paren-idle-timer nil) |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
85 |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
86 ;;;###autoload |
31976
236a7f6d898d
(show-paren-mode): Use define-minor-mode.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30787
diff
changeset
|
87 (define-minor-mode show-paren-mode |
18582
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
88 "Toggle Show Paren mode. |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
89 With prefix ARG, turn Show Paren mode on if and only if ARG is positive. |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
90 Returns the new status of Show Paren mode (non-nil means on). |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
91 |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
92 When Show Paren mode is enabled, any matching parenthesis is highlighted |
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
93 in `show-paren-style' after `show-paren-delay' seconds of Emacs idle time." |
31976
236a7f6d898d
(show-paren-mode): Use define-minor-mode.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30787
diff
changeset
|
94 nil nil nil :global t :group 'paren-showing |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
95 ;; Turn off the usual paren-matching method |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
96 ;; when this one is turned on. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
97 (if (local-variable-p 'show-paren-mode) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
98 (make-local-variable 'blink-matching-paren-on-screen) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
99 (kill-local-variable 'blink-matching-paren-on-screen)) |
31976
236a7f6d898d
(show-paren-mode): Use define-minor-mode.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30787
diff
changeset
|
100 (setq blink-matching-paren-on-screen (not show-paren-mode)) |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
101 |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
102 ;; Now enable or disable the mechanism. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
103 ;; First get rid of the old idle timer. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
104 (if show-paren-idle-timer |
18582
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
105 (cancel-timer show-paren-idle-timer)) |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
106 (setq show-paren-idle-timer nil) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
107 ;; If show-paren-mode is enabled in some buffer now, |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
108 ;; set up a new timer. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
109 (when (memq t (mapcar (lambda (buffer) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
110 (with-current-buffer buffer |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
111 show-paren-mode)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
112 (buffer-list))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
113 (setq show-paren-idle-timer (run-with-idle-timer |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
114 show-paren-delay t |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
115 'show-paren-function))) |
31976
236a7f6d898d
(show-paren-mode): Use define-minor-mode.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30787
diff
changeset
|
116 (unless show-paren-mode |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
117 (and show-paren-overlay |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
118 (eq (overlay-buffer show-paren-overlay) (current-buffer)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
119 (delete-overlay show-paren-overlay)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
120 (and show-paren-overlay-1 |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
121 (eq (overlay-buffer show-paren-overlay-1) (current-buffer)) |
31976
236a7f6d898d
(show-paren-mode): Use define-minor-mode.
Stefan Monnier <monnier@iro.umontreal.ca>
parents:
30787
diff
changeset
|
122 (delete-overlay show-paren-overlay-1)))) |
18582
fd88d8f82bbc
(show-paren-idle-timer): New defvar.
Richard M. Stallman <rms@gnu.org>
parents:
18567
diff
changeset
|
123 |
3917 | 124 ;; Find the place to show, if there is one, |
125 ;; and show it until input arrives. | |
14706
e7352445b396
(show-paren-delay): New variable.
Richard M. Stallman <rms@gnu.org>
parents:
14624
diff
changeset
|
126 (defun show-paren-function () |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
127 (if show-paren-mode |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
128 (let (pos dir mismatch face (oldpos (point))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
129 (cond ((eq (char-syntax (preceding-char)) ?\)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
130 (setq dir -1)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
131 ((eq (char-syntax (following-char)) ?\() |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
132 (setq dir 1))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
133 ;; |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
134 ;; Find the other end of the sexp. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
135 (when dir |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
136 (save-excursion |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
137 (save-restriction |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
138 ;; Determine the range within which to look for a match. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
139 (when blink-matching-paren-distance |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
140 (narrow-to-region |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
141 (max (point-min) (- (point) blink-matching-paren-distance)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
142 (min (point-max) (+ (point) blink-matching-paren-distance)))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
143 ;; Scan across one sexp within that range. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
144 ;; Errors or nil mean there is a mismatch. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
145 (condition-case () |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
146 (setq pos (scan-sexps (point) dir)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
147 (error (setq pos t mismatch t))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
148 ;; If found a "matching" paren, see if it is the right |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
149 ;; kind of paren to match the one we started at. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
150 (when (integerp pos) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
151 (let ((beg (min pos oldpos)) (end (max pos oldpos))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
152 (when (/= (char-syntax (char-after beg)) ?\$) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
153 (setq mismatch |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
154 (not (eq (char-before end) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
155 ;; This can give nil. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
156 (matching-paren (char-after beg))))))))))) |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
157 ;; |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
158 ;; Highlight the other end of the sexp, or unhighlight if none. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
159 (if (not pos) |
21891
7d49e4c824b6
(show-paren-ring-bell-on-mismatch): New option.
Richard M. Stallman <rms@gnu.org>
parents:
18837
diff
changeset
|
160 (progn |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
161 ;; If not at a paren that has a match, |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
162 ;; turn off any previous paren highlighting. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
163 (and show-paren-overlay (overlay-buffer show-paren-overlay) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
164 (delete-overlay show-paren-overlay)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
165 (and show-paren-overlay-1 (overlay-buffer show-paren-overlay-1) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
166 (delete-overlay show-paren-overlay-1))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
167 ;; |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
168 ;; Use the correct face. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
169 (if mismatch |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
170 (progn |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
171 (if show-paren-ring-bell-on-mismatch |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
172 (beep)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
173 (setq face 'show-paren-mismatch-face)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
174 (setq face 'show-paren-match-face)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
175 ;; |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
176 ;; If matching backwards, highlight the closeparen |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
177 ;; before point as well as its matching open. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
178 ;; If matching forward, and the openparen is unbalanced, |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
179 ;; highlight the paren at point to indicate misbalance. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
180 ;; Otherwise, turn off any such highlighting. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
181 (if (and (= dir 1) (integerp pos)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
182 (when (and show-paren-overlay-1 |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
183 (overlay-buffer show-paren-overlay-1)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
184 (delete-overlay show-paren-overlay-1)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
185 (let ((from (if (= dir 1) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
186 (point) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
187 (forward-point -1))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
188 (to (if (= dir 1) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
189 (forward-point 1) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
190 (point)))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
191 (if show-paren-overlay-1 |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
192 (move-overlay show-paren-overlay-1 from to (current-buffer)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
193 (setq show-paren-overlay-1 (make-overlay from to))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
194 ;; Always set the overlay face, since it varies. |
30787
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
195 (overlay-put show-paren-overlay-1 'priority show-paren-priority) |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
196 (overlay-put show-paren-overlay-1 'face face))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
197 ;; |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
198 ;; Turn on highlighting for the matching paren, if found. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
199 ;; If it's an unmatched paren, turn off any such highlighting. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
200 (unless (integerp pos) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
201 (delete-overlay show-paren-overlay)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
202 (let ((to (if (or (eq show-paren-style 'expression) |
18330
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
203 (and (eq show-paren-style 'mixed) |
005facba9434
customise, rewrite and extend.
Simon Marshall <simon@gnu.org>
parents:
18318
diff
changeset
|
204 (not (pos-visible-in-window-p pos)))) |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
205 (point) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
206 pos)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
207 (from (if (or (eq show-paren-style 'expression) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
208 (and (eq show-paren-style 'mixed) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
209 (not (pos-visible-in-window-p pos)))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
210 pos |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
211 (save-excursion |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
212 (goto-char pos) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
213 (forward-point (- dir)))))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
214 (if show-paren-overlay |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
215 (move-overlay show-paren-overlay from to (current-buffer)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
216 (setq show-paren-overlay (make-overlay from to)))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
217 ;; |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
218 ;; Always set the overlay face, since it varies. |
30787
efa4d1ed3f1b
(show-paren-priority): New user option.
Gerd Moellmann <gerd@gnu.org>
parents:
25813
diff
changeset
|
219 (overlay-put show-paren-overlay 'priority show-paren-priority) |
25275
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
220 (overlay-put show-paren-overlay 'face face))) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
221 ;; show-paren-mode is nil in this buffer. |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
222 (and show-paren-overlay |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
223 (delete-overlay show-paren-overlay)) |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
224 (and show-paren-overlay-1 |
1b1edbd429ea
(show-paren-mode): Support making show-paren-mode
Karl Heuer <kwzh@gnu.org>
parents:
24650
diff
changeset
|
225 (delete-overlay show-paren-overlay-1)))) |
3912 | 226 |
3919 | 227 (provide 'paren) |
228 | |
229 ;;; paren.el ends here |