annotate lisp/paren.el @ 3936:d42ad851d210

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