Mercurial > emacs
annotate lisp/paren.el @ 4064:d14ba65a1363
*** empty log message ***
author | David J. MacKenzie <djm@gnu.org> |
---|---|
date | Mon, 12 Jul 1993 22:13:12 +0000 |
parents | 66d33e1bf65b |
children | b05c50e08993 |
rev | line source |
---|---|
3912 | 1 ;;; paren.el --- highlight matching paren. |
3913 | 2 ;; Copyright (C) 1993 Free Software Foundation, Inc. |
3912 | 3 |
3977 | 4 ;; Author: rms@gnu.ai.mit.edu |
5 ;; Maintainer: FSF | |
6 ;; Keywords: languages, faces | |
3976 | 7 |
3912 | 8 ;; This file is part of GNU Emacs. |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
12 ;; the Free Software Foundation; either version 2, or (at your option) | |
13 ;; any later version. | |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
21 ;; along with GNU Emacs; see the file COPYING. If not, write to | |
22 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
23 | |
24 ;;; Commentary: | |
25 | |
26 ;; Load this and it will display highlighting on whatever | |
27 ;; paren matches the one before or after point. | |
28 | |
29 ;;; Code: | |
30 | |
3917 | 31 (defvar show-paren-overlay nil) |
3912 | 32 |
3917 | 33 ;; Find the place to show, if there is one, |
34 ;; and show it until input arrives. | |
35 (defun show-paren-command-hook () | |
4059
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
36 (if window-system |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
37 (let (pos dir mismatch (oldpos (point)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
38 (face (if (face-equal 'highlight 'region) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
39 'underline 'highlight))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
40 (cond ((eq (char-syntax (following-char)) ?\() |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
41 (setq dir 1)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
42 ((eq (char-syntax (preceding-char)) ?\)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
43 (setq dir -1))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
44 (save-excursion |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
45 (save-restriction |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
46 ;; Determine the range within which to look for a match. |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
47 (if blink-matching-paren-distance |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
48 (narrow-to-region (max (point-min) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
49 (- (point) blink-matching-paren-distance)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
50 (min (point-max) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
51 (+ (point) blink-matching-paren-distance)))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
52 ;; Scan across one sexp within that range. |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
53 (condition-case () |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
54 (setq pos (scan-sexps (point) dir)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
55 (error nil)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
56 ;; See if the "matching" paren is the right kind of paren |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
57 ;; to match the one we started at. |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
58 (if pos |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
59 (let ((beg (min pos oldpos)) (end (max pos oldpos))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
60 (and (/= (char-syntax (char-after beg)) ?\$) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
61 (setq mismatch |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
62 (/= (char-after (1- end)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
63 (logand (lsh (aref (syntax-table) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
64 (char-after beg)) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
65 -8) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
66 255)))))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
67 ;; If they don't properly match, don't show. |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
68 (if mismatch |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
69 (progn |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
70 (message "Paren mismatch") |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
71 ;;; (setq pos nil) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
72 )))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
73 (cond (pos |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
74 (if show-paren-overlay |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
75 (move-overlay show-paren-overlay (- pos dir) pos) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
76 (setq show-paren-overlay |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
77 (make-overlay (- pos dir) pos))) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
78 (overlay-put show-paren-overlay 'face face) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
79 ;;; This is code to blink the highlighting. |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
80 ;;; It is desirable to avoid this because |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
81 ;;; it would interfere with auto-save and gc when idle. |
3912 | 82 ;;; (while (sit-for 1) |
3917 | 83 ;;; (overlay-put show-paren-overlay |
3912 | 84 ;;; 'face |
3917 | 85 ;;; (if (overlay-get show-paren-overlay |
3912 | 86 ;;; 'face) |
87 ;;; nil face))) | |
4059
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
88 ) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
89 (t |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
90 (and show-paren-overlay (overlay-buffer show-paren-overlay) |
66d33e1bf65b
(show-paren-command-hook): Do nothing if not window-system.
Richard M. Stallman <rms@gnu.org>
parents:
3977
diff
changeset
|
91 (delete-overlay show-paren-overlay))))))) |
3912 | 92 |
3917 | 93 (add-hook 'post-command-hook 'show-paren-command-hook) |
3912 | 94 |
3919 | 95 (provide 'paren) |
96 | |
97 ;;; paren.el ends here |