annotate lisp/ruler-mode.el @ 59812:fb44bc67721e

(calc-edit-user-syntax, calc-fix-token-name) (calc-write-parse-table-part): Add LaTeX support.
author Jay Belanger <jay.p.belanger@gmail.com>
date Mon, 31 Jan 2005 06:28:06 +0000
parents aabf30299e6c
children aac0a33f5772
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
42836
c6bcb27e426f (ruler-mode): New keyword. Fix :version.
Pavel Janík <Pavel@Janik.cz>
parents: 42706
diff changeset
1 ;;; ruler-mode.el --- display a ruler in the header line
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
2
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
3 ;; Copyright (C) 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
4
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
5 ;; Author: David Ponce <david@dponce.com>
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
6 ;; Maintainer: David Ponce <david@dponce.com>
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
7 ;; Created: 24 Mar 2001
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
8 ;; Version: 1.6
47183
865837df3fe7 (defgroup ruler-mode): Use `convenience' as parent.
Richard M. Stallman <rms@gnu.org>
parents: 45255
diff changeset
9 ;; Keywords: convenience
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
10
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
11 ;; This file is part of GNU Emacs.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
12
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
13 ;; This program is free software; you can redistribute it and/or
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
14 ;; modify it under the terms of the GNU General Public License as
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
15 ;; published by the Free Software Foundation; either version 2, or (at
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
16 ;; your option) any later version.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
17
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
18 ;; This program is distributed in the hope that it will be useful, but
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
19 ;; WITHOUT ANY WARRANTY; without even the implied warranty of
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
21 ;; General Public License for more details.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
22
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
23 ;; You should have received a copy of the GNU General Public License
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
24 ;; along with this program; see the file COPYING. If not, write to
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
25 ;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
26 ;; Boston, MA 02111-1307, USA.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
27
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
28 ;;; Commentary:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
29
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
30 ;; This library provides a minor mode to display a ruler in the header
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
31 ;; line. It works only on Emacs 21.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
32 ;;
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
33 ;; You can use the mouse to change the `fill-column' `comment-column',
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
34 ;; `goal-column', `window-margins' and `tab-stop-list' settings:
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
35 ;;
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
36 ;; [header-line (shift down-mouse-1)] set left margin end to the ruler
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
37 ;; graduation where the mouse pointer is on.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
38 ;;
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
39 ;; [header-line (shift down-mouse-3)] set right margin beginning to
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
40 ;; the ruler graduation where the mouse pointer is on.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
41 ;;
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
42 ;; [header-line down-mouse-2] Drag the `fill-column', `comment-column'
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
43 ;; or `goal-column' to a ruler graduation.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
44 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
45 ;; [header-line (control down-mouse-1)] add a tab stop to the ruler
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
46 ;; graduation where the mouse pointer is on.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
47 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
48 ;; [header-line (control down-mouse-3)] remove the tab stop at the
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
49 ;; ruler graduation where the mouse pointer is on.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
50 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
51 ;; [header-line (control down-mouse-2)] or M-x
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
52 ;; `ruler-mode-toggle-show-tab-stops' toggle showing and visually
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
53 ;; editing `tab-stop-list' setting. The `ruler-mode-show-tab-stops'
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
54 ;; option controls if the ruler shows tab stops by default.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
55 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
56 ;; In the ruler the character `ruler-mode-current-column-char' shows
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
57 ;; the `current-column' location, `ruler-mode-fill-column-char' shows
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
58 ;; the `fill-column' location, `ruler-mode-comment-column-char' shows
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
59 ;; the `comment-column' location, `ruler-mode-goal-column-char' shows
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
60 ;; the `goal-column' and `ruler-mode-tab-stop-char' shows tab stop
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
61 ;; locations. Graduations in `window-margins' and `window-fringes'
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
62 ;; areas are shown with a different foreground color.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
63 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
64 ;; It is also possible to customize the following characters:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
65 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
66 ;; - `ruler-mode-basic-graduation-char' character used for basic
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
67 ;; graduations ('.' by default).
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
68 ;; - `ruler-mode-inter-graduation-char' character used for
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
69 ;; intermediate graduations ('!' by default).
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
70 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
71 ;; The following faces are customizable:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
72 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
73 ;; - `ruler-mode-default-face' the ruler default face.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
74 ;; - `ruler-mode-fill-column-face' the face used to highlight the
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
75 ;; `fill-column' character.
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
76 ;; - `ruler-mode-comment-column-face' the face used to highlight the
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
77 ;; `comment-column' character.
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
78 ;; - `ruler-mode-goal-column-face' the face used to highlight the
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
79 ;; `goal-column' character.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
80 ;; - `ruler-mode-current-column-face' the face used to highlight the
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
81 ;; `current-column' character.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
82 ;; - `ruler-mode-tab-stop-face' the face used to highlight tab stop
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
83 ;; characters.
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
84 ;; - `ruler-mode-margins-face' the face used to highlight graduations
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
85 ;; in the `window-margins' areas.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
86 ;; - `ruler-mode-fringes-face' the face used to highlight graduations
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
87 ;; in the `window-fringes' areas.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
88 ;; - `ruler-mode-column-number-face' the face used to highlight the
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
89 ;; numbered graduations.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
90 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
91 ;; `ruler-mode-default-face' inherits from the built-in `default' face.
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
92 ;; All `ruler-mode' faces inherit from `ruler-mode-default-face'.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
93 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
94 ;; WARNING: To keep ruler graduations aligned on text columns it is
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
95 ;; important to use the same font family and size for ruler and text
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
96 ;; areas.
54399
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
97 ;;
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
98 ;; You can override the ruler format by defining an appropriate
54399
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
99 ;; function as the buffer-local value of `ruler-mode-ruler-function'.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
100
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
101 ;; Installation
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
102 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
103 ;; To automatically display the ruler in specific major modes use:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
104 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
105 ;; (add-hook '<major-mode>-hook 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
106 ;;
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
107
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
108 ;;; History:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
109 ;;
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
110
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
111 ;;; Code:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
112 (eval-when-compile
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
113 (require 'wid-edit))
54399
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
114 (require 'scroll-bar)
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
115 (require 'fringe)
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
116
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
117 (defgroup ruler-mode nil
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
118 "Display a ruler in the header line."
45255
20c79f08a7da Change all post-21.1 :version attributes to 21.4.
Eli Zaretskii <eliz@gnu.org>
parents: 42836
diff changeset
119 :version "21.4"
47183
865837df3fe7 (defgroup ruler-mode): Use `convenience' as parent.
Richard M. Stallman <rms@gnu.org>
parents: 45255
diff changeset
120 :group 'convenience)
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
121
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
122 (defcustom ruler-mode-show-tab-stops nil
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
123 "*If non-nil the ruler shows tab stop positions.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
124 Also allowing to visually change `tab-stop-list' setting using
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
125 <C-down-mouse-1> and <C-down-mouse-3> on the ruler to respectively add
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
126 or remove a tab stop. \\[ruler-mode-toggle-show-tab-stops] or
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
127 <C-down-mouse-2> on the ruler toggles showing/editing of tab stops."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
128 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
129 :type 'boolean)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
130
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
131 ;; IMPORTANT: This function must be defined before the following
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
132 ;; defcustoms because it is used in their :validate clause.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
133 (defun ruler-mode-character-validate (widget)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
134 "Ensure WIDGET value is a valid character value."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
135 (save-excursion
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
136 (let ((value (widget-value widget)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
137 (if (char-valid-p value)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
138 nil
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
139 (widget-put widget :error
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
140 (format "Invalid character value: %S" value))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
141 widget))))
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
142
52430
8ab45ba34207 (ruler-mode-fill-column-char)
Dave Love <fx@gnu.org>
parents: 52401
diff changeset
143 (defcustom ruler-mode-fill-column-char (if (char-displayable-p ?¶)
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
144 ?\¶
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
145 ?\|)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
146 "*Character used at the `fill-column' location."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
147 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
148 :type '(choice
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
149 (character :tag "Character")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
150 (integer :tag "Integer char value"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
151 :validate ruler-mode-character-validate)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
152
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
153 (defcustom ruler-mode-comment-column-char ?\#
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
154 "*Character used at the `comment-column' location."
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
155 :group 'ruler-mode
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
156 :type '(choice
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
157 (character :tag "Character")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
158 (integer :tag "Integer char value"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
159 :validate ruler-mode-character-validate)))
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
160
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
161 (defcustom ruler-mode-goal-column-char ?G
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
162 "*Character used at the `goal-column' location."
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
163 :group 'ruler-mode
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
164 :type '(choice
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
165 (character :tag "Character")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
166 (integer :tag "Integer char value"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
167 :validate ruler-mode-character-validate)))
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
168
52430
8ab45ba34207 (ruler-mode-fill-column-char)
Dave Love <fx@gnu.org>
parents: 52401
diff changeset
169 (defcustom ruler-mode-current-column-char (if (char-displayable-p ?¦)
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
170 ?\¦
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
171 ?\@)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
172 "*Character used at the `current-column' location."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
173 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
174 :type '(choice
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
175 (character :tag "Character")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
176 (integer :tag "Integer char value"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
177 :validate ruler-mode-character-validate)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
178
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
179 (defcustom ruler-mode-tab-stop-char ?\T
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
180 "*Character used at `tab-stop-list' locations."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
181 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
182 :type '(choice
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
183 (character :tag "Character")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
184 (integer :tag "Integer char value"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
185 :validate ruler-mode-character-validate)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
186
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
187 (defcustom ruler-mode-basic-graduation-char ?\.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
188 "*Character used for basic graduations."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
189 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
190 :type '(choice
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
191 (character :tag "Character")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
192 (integer :tag "Integer char value"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
193 :validate ruler-mode-character-validate)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
194
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
195 (defcustom ruler-mode-inter-graduation-char ?\!
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
196 "*Character used for intermediate graduations."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
197 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
198 :type '(choice
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
199 (character :tag "Character")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
200 (integer :tag "Integer char value"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
201 :validate ruler-mode-character-validate)))
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
202
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
203 (defcustom ruler-mode-set-goal-column-ding-flag t
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
204 "*Non-nil means do `ding' when `goal-column' is set."
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
205 :group 'ruler-mode
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
206 :type 'boolean)
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
207
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
208 (defface ruler-mode-default-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
209 '((((type tty))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
210 (:inherit default
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
211 :background "grey64"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
212 :foreground "grey50"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
213 ))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
214 (t
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
215 (:inherit default
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
216 :background "grey76"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
217 :foreground "grey64"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
218 :box (:color "grey76"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
219 :line-width 1
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
220 :style released-button)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
221 )))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
222 "Default face used by the ruler."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
223 :group 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
224
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
225 (defface ruler-mode-pad-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
226 '((((type tty))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
227 (:inherit ruler-mode-default-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
228 :background "grey50"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
229 ))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
230 (t
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
231 (:inherit ruler-mode-default-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
232 :background "grey64"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
233 )))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
234 "Face used to pad inactive ruler areas."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
235 :group 'ruler-mode)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
236
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
237 (defface ruler-mode-margins-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
238 '((t
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
239 (:inherit ruler-mode-default-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
240 :foreground "white"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
241 )))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
242 "Face used to highlight margin areas."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
243 :group 'ruler-mode)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
244
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
245 (defface ruler-mode-fringes-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
246 '((t
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
247 (:inherit ruler-mode-default-face
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
248 :foreground "green"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
249 )))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
250 "Face used to highlight fringes areas."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
251 :group 'ruler-mode)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
252
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
253 (defface ruler-mode-column-number-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
254 '((t
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
255 (:inherit ruler-mode-default-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
256 :foreground "black"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
257 )))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
258 "Face used to highlight number graduations."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
259 :group 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
260
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
261 (defface ruler-mode-fill-column-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
262 '((t
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
263 (:inherit ruler-mode-default-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
264 :foreground "red"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
265 )))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
266 "Face used to highlight the fill column character."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
267 :group 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
268
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
269 (defface ruler-mode-comment-column-face
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
270 '((t
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
271 (:inherit ruler-mode-default-face
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
272 :foreground "red"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
273 )))
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
274 "Face used to highlight the comment column character."
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
275 :group 'ruler-mode)
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
276
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
277 (defface ruler-mode-goal-column-face
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
278 '((t
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
279 (:inherit ruler-mode-default-face
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
280 :foreground "red"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
281 )))
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
282 "Face used to highlight the goal column character."
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
283 :group 'ruler-mode)
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
284
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
285 (defface ruler-mode-tab-stop-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
286 '((t
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
287 (:inherit ruler-mode-default-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
288 :foreground "steelblue"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
289 )))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
290 "Face used to highlight tab stop characters."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
291 :group 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
292
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
293 (defface ruler-mode-current-column-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
294 '((t
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
295 (:inherit ruler-mode-default-face
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
296 :weight bold
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
297 :foreground "yellow"
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
298 )))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
299 "Face used to highlight the `current-column' character."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
300 :group 'ruler-mode)
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
301
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
302
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
303 (defsubst ruler-mode-full-window-width ()
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
304 "Return the full width of the selected window."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
305 (let ((edges (window-edges)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
306 (- (nth 2 edges) (nth 0 edges))))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
307
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
308 (defsubst ruler-mode-window-col (n)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
309 "Return a column number relative to the selected window.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
310 N is a column number relative to selected frame."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
311 (- n
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
312 (car (window-edges))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
313 (or (car (window-margins)) 0)
54401
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
314 (fringe-columns 'left)
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
315 (scroll-bar-columns 'left)))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
316
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
317 (defun ruler-mode-mouse-set-left-margin (start-event)
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
318 "Set left margin end to the graduation where the mouse pointer is on.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
319 START-EVENT is the mouse click event."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
320 (interactive "e")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
321 (let* ((start (event-start start-event))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
322 (end (event-end start-event))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
323 col w lm rm)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
324 (when (eq start end) ;; mouse click
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
325 (save-selected-window
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
326 (select-window (posn-window start))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
327 (setq col (- (car (posn-col-row start)) (car (window-edges))
54401
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
328 (scroll-bar-columns 'left))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
329 w (- (ruler-mode-full-window-width)
54401
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
330 (scroll-bar-columns 'left)
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
331 (scroll-bar-columns 'right)))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
332 (when (and (>= col 0) (< col w))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
333 (setq lm (window-margins)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
334 rm (or (cdr lm) 0)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
335 lm (or (car lm) 0))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
336 (message "Left margin set to %d (was %d)" col lm)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
337 (set-window-margins nil col rm))))))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
338
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
339 (defun ruler-mode-mouse-set-right-margin (start-event)
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
340 "Set right margin beginning to the graduation where the mouse pointer is on.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
341 START-EVENT is the mouse click event."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
342 (interactive "e")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
343 (let* ((start (event-start start-event))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
344 (end (event-end start-event))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
345 col w lm rm)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
346 (when (eq start end) ;; mouse click
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
347 (save-selected-window
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
348 (select-window (posn-window start))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
349 (setq col (- (car (posn-col-row start)) (car (window-edges))
54401
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
350 (scroll-bar-columns 'left))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
351 w (- (ruler-mode-full-window-width)
54401
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
352 (scroll-bar-columns 'left)
7f6dab15e141 2004-03-15 David Ponce <david@dponce.com>
Masatake YAMATO <jet@gyve.org>
parents: 54399
diff changeset
353 (scroll-bar-columns 'right)))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
354 (when (and (>= col 0) (< col w))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
355 (setq lm (window-margins)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
356 rm (or (cdr lm) 0)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
357 lm (or (car lm) 0)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
358 col (- w col 1))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
359 (message "Right margin set to %d (was %d)" col rm)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
360 (set-window-margins nil lm col))))))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
361
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
362 (defvar ruler-mode-dragged-symbol nil
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
363 "Column symbol dragged in the ruler.
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
364 That is `fill-column', `comment-column', `goal-column', or nil when
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
365 nothing is dragged.")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
366
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
367 (defun ruler-mode-mouse-grab-any-column (start-event)
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
368 "Drag a column symbol on the ruler.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
369 Start dragging on mouse down event START-EVENT, and update the column
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
370 symbol value with the current value of the ruler graduation while
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
371 dragging. See also the variable `ruler-mode-dragged-symbol'."
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
372 (interactive "e")
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
373 (setq ruler-mode-dragged-symbol nil)
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
374 (let* ((start (event-start start-event))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
375 col newc oldc)
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
376 (save-selected-window
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
377 (select-window (posn-window start))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
378 (setq col (ruler-mode-window-col (car (posn-col-row start)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
379 newc (+ col (window-hscroll)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
380 (and
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
381 (>= col 0) (< col (window-width))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
382 (cond
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
383
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
384 ;; Handle the fill column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
385 ((eq newc fill-column)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
386 (setq oldc fill-column
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
387 ruler-mode-dragged-symbol 'fill-column)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
388 t) ;; Start dragging
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
390 ;; Handle the comment column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
391 ((eq newc comment-column)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
392 (setq oldc comment-column
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
393 ruler-mode-dragged-symbol 'comment-column)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
394 t) ;; Start dragging
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
395
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
396 ;; Handle the goal column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
397 ;; A. On mouse down on the goal column character on the ruler,
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
398 ;; update the `goal-column' value while dragging.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
399 ;; B. If `goal-column' is nil, set the goal column where the
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
400 ;; mouse is clicked.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
401 ;; C. On mouse click on the goal column character on the
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
402 ;; ruler, unset the goal column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
403 ((eq newc goal-column) ; A. Drag the goal column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
404 (setq oldc goal-column
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
405 ruler-mode-dragged-symbol 'goal-column)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
406 t) ;; Start dragging
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
407
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
408 ((null goal-column) ; B. Set the goal column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
409 (setq oldc goal-column
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
410 goal-column newc)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
411 ;; mouse-2 coming AFTER drag-mouse-2 invokes `ding'. This
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
412 ;; `ding' flushes the next messages about setting goal
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
413 ;; column. So here I force fetch the event(mouse-2) and
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
414 ;; throw away.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
415 (read-event)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
416 ;; Ding BEFORE `message' is OK.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
417 (when ruler-mode-set-goal-column-ding-flag
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
418 (ding))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
419 (message "Goal column set to %d (click on %s again to unset it)"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
420 newc
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
421 (propertize (char-to-string ruler-mode-goal-column-char)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
422 'face 'ruler-mode-goal-column-face))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
423 nil) ;; Don't start dragging.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
424 )
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
425 (if (eq 'click (ruler-mode-mouse-drag-any-column-iteration
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
426 (posn-window start)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
427 (when (eq 'goal-column ruler-mode-dragged-symbol)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
428 ;; C. Unset the goal column.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
429 (set-goal-column t))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
430 ;; At end of dragging, report the updated column symbol.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
431 (message "%s is set to %d (was %d)"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
432 ruler-mode-dragged-symbol
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
433 (symbol-value ruler-mode-dragged-symbol)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
434 oldc))))))
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
435
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
436 (defun ruler-mode-mouse-drag-any-column-iteration (window)
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
437 "Update the ruler while dragging the mouse.
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
438 WINDOW is the window where occurred the last down-mouse event.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
439 Return the symbol `drag' if the mouse has been dragged, or `click' if
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
440 the mouse has been clicked."
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
441 (let ((drags 0)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
442 event)
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
443 (track-mouse
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
444 (while (mouse-movement-p (setq event (read-event)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
445 (setq drags (1+ drags))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
446 (when (eq window (posn-window (event-end event)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
447 (ruler-mode-mouse-drag-any-column event)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
448 (force-mode-line-update))))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
449 (if (and (zerop drags) (eq 'click (car (event-modifiers event))))
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
450 'click
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
451 'drag)))
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
452
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
453 (defun ruler-mode-mouse-drag-any-column (start-event)
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
454 "Update the value of the symbol dragged on the ruler.
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
455 Called on each mouse motion event START-EVENT."
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
456 (let* ((start (event-start start-event))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
457 (end (event-end start-event))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
458 col newc)
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
459 (save-selected-window
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
460 (select-window (posn-window start))
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
461 (setq col (ruler-mode-window-col (car (posn-col-row end)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
462 newc (+ col (window-hscroll)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
463 (when (and (>= col 0) (< col (window-width)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
464 (set ruler-mode-dragged-symbol newc)))))
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
465
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
466 (defun ruler-mode-mouse-add-tab-stop (start-event)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
467 "Add a tab stop to the graduation where the mouse pointer is on.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
468 START-EVENT is the mouse click event."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
469 (interactive "e")
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
470 (when ruler-mode-show-tab-stops
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
471 (let* ((start (event-start start-event))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
472 (end (event-end start-event))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
473 col ts)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
474 (when (eq start end) ;; mouse click
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
475 (save-selected-window
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
476 (select-window (posn-window start))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
477 (setq col (ruler-mode-window-col (car (posn-col-row start)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
478 ts (+ col (window-hscroll)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
479 (and (>= col 0) (< col (window-width))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
480 (not (member ts tab-stop-list))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
481 (progn
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
482 (message "Tab stop set to %d" ts)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
483 (setq tab-stop-list (sort (cons ts tab-stop-list)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
484 #'<)))))))))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
485
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
486 (defun ruler-mode-mouse-del-tab-stop (start-event)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
487 "Delete tab stop at the graduation where the mouse pointer is on.
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
488 START-EVENT is the mouse click event."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
489 (interactive "e")
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
490 (when ruler-mode-show-tab-stops
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
491 (let* ((start (event-start start-event))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
492 (end (event-end start-event))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
493 col ts)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
494 (when (eq start end) ;; mouse click
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
495 (save-selected-window
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
496 (select-window (posn-window start))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
497 (setq col (ruler-mode-window-col (car (posn-col-row start)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
498 ts (+ col (window-hscroll)))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
499 (and (>= col 0) (< col (window-width))
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
500 (member ts tab-stop-list)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
501 (progn
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
502 (message "Tab stop at %d deleted" ts)
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
503 (setq tab-stop-list (delete ts tab-stop-list)))))))))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
504
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
505 (defun ruler-mode-toggle-show-tab-stops ()
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
506 "Toggle showing of tab stops on the ruler."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
507 (interactive)
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
508 (setq ruler-mode-show-tab-stops (not ruler-mode-show-tab-stops))
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
509 (force-mode-line-update))
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
510
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
511 (defvar ruler-mode-map
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
512 (let ((km (make-sparse-keymap)))
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
513 (define-key km [header-line down-mouse-1]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
514 #'ignore)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
515 (define-key km [header-line down-mouse-3]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
516 #'ignore)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
517 (define-key km [header-line down-mouse-2]
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
518 #'ruler-mode-mouse-grab-any-column)
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
519 (define-key km [header-line (shift down-mouse-1)]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
520 #'ruler-mode-mouse-set-left-margin)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
521 (define-key km [header-line (shift down-mouse-3)]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
522 #'ruler-mode-mouse-set-right-margin)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
523 (define-key km [header-line (control down-mouse-1)]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
524 #'ruler-mode-mouse-add-tab-stop)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
525 (define-key km [header-line (control down-mouse-3)]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
526 #'ruler-mode-mouse-del-tab-stop)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
527 (define-key km [header-line (control down-mouse-2)]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
528 #'ruler-mode-toggle-show-tab-stops)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
529 km)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
530 "Keymap for ruler minor mode.")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
531
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
532 (defvar ruler-mode-header-line-format-old nil
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
533 "Hold previous value of `header-line-format'.")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
534
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
535 (defvar ruler-mode-ruler-function 'ruler-mode-ruler
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
536 "Function to call to return ruler header line format.
54399
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
537 This variable is expected to be made buffer-local by modes.")
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
538
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
539 (defconst ruler-mode-header-line-format
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
540 '(:eval (funcall ruler-mode-ruler-function))
54399
ad02f6299e9a 2004-03-15 Masatake YAMATO <jet@gyve.org>
Masatake YAMATO <jet@gyve.org>
parents: 52889
diff changeset
541 "`header-line-format' used in ruler mode.
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
542 Call `ruler-mode-ruler-function' to compute the ruler value.")
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
543
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
544 ;;;###autoload
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
545 (define-minor-mode ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
546 "Display a ruler in the header line if ARG > 0."
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
547 nil nil
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
548 ruler-mode-map
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
549 :group 'ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
550 (if ruler-mode
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
551 (progn
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
552 ;; When `ruler-mode' is on save previous header line format
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
553 ;; and install the ruler header line format.
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
554 (when (local-variable-p 'header-line-format)
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
555 (set (make-local-variable 'ruler-mode-header-line-format-old)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
556 header-line-format))
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
557 (setq header-line-format ruler-mode-header-line-format)
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
558 (add-hook 'post-command-hook 'force-mode-line-update nil t))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
559 ;; When `ruler-mode' is off restore previous header line format if
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
560 ;; the current one is the ruler header line format.
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
561 (when (eq header-line-format ruler-mode-header-line-format)
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
562 (kill-local-variable 'header-line-format)
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
563 (when (local-variable-p 'ruler-mode-header-line-format-old)
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
564 (setq header-line-format ruler-mode-header-line-format-old)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
565 (kill-local-variable 'ruler-mode-header-line-format-old)))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
566 (remove-hook 'post-command-hook 'force-mode-line-update t)))
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
567
42706
be541feb06cc Fix typo.
Pavel Janík <Pavel@Janik.cz>
parents: 42020
diff changeset
568 ;; Add ruler-mode to the minor mode menu in the mode line
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
569 (define-key mode-line-mode-menu [ruler-mode]
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
570 `(menu-item "Ruler" ruler-mode
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
571 :button (:toggle . ruler-mode)))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
572
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
573 (defconst ruler-mode-ruler-help-echo
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
574 "\
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
575 S-mouse-1/3: set L/R margin, \
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
576 mouse-2: set goal column, \
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
577 C-mouse-2: show tabs"
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
578 "Help string shown when mouse is over the ruler.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
579 `ruler-mode-show-tab-stops' is nil.")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
580
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
581 (defconst ruler-mode-ruler-help-echo-when-goal-column
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
582 "\
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
583 S-mouse-1/3: set L/R margin, \
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
584 C-mouse-2: show tabs"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
585 "Help string shown when mouse is over the ruler.
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
586 `goal-column' is set and `ruler-mode-show-tab-stops' is nil.")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
587
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
588 (defconst ruler-mode-ruler-help-echo-when-tab-stops
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
589 "\
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
590 C-mouse1/3: set/unset tab, \
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
591 C-mouse-2: hide tabs"
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
592 "Help string shown when mouse is over the ruler.
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
593 `ruler-mode-show-tab-stops' is non-nil.")
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
594
49195
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
595 (defconst ruler-mode-fill-column-help-echo
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
596 "drag-mouse-2: set fill column"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
597 "Help string shown when mouse is on the fill column character.")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
598
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
599 (defconst ruler-mode-comment-column-help-echo
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
600 "drag-mouse-2: set comment column"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
601 "Help string shown when mouse is on the comment column character.")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
602
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
603 (defconst ruler-mode-goal-column-help-echo
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
604 "\
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
605 drag-mouse-2: set goal column, \
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
606 mouse-2: unset goal column"
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
607 "Help string shown when mouse is on the goal column character.")
c297d31ef382 (ruler-mode-comment-column-char, ruler-mode-goal-column-char)
Juanma Barranquero <lekktu@gmail.com>
parents: 47425
diff changeset
608
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
609 (defconst ruler-mode-margin-help-echo
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
610 "%s margin %S"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
611 "Help string shown when mouse is over a margin area.")
42020
6e891121e1cc (ruler-mode-extra-left-cols): Removed.
Richard M. Stallman <rms@gnu.org>
parents: 42003
diff changeset
612
51389
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
613 (defconst ruler-mode-fringe-help-echo
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
614 "%s fringe %S"
a8b686f386db Version 1.6
Juanma Barranquero <lekktu@gmail.com>
parents: 49769
diff changeset
615 "Help string shown when mouse is over a fringe area.")
52889
615ebe291578 (ruler-mode-left-fringe-cols): Add new optional
Richard M. Stallman <rms@gnu.org>
parents: 52430
diff changeset
616
615ebe291578 (ruler-mode-left-fringe-cols): Add new optional
Richard M. Stallman <rms@gnu.org>
parents: 52430
diff changeset
617 (defsubst ruler-mode-space (width &rest props)
615ebe291578 (ruler-mode-left-fringe-cols): Add new optional
Richard M. Stallman <rms@gnu.org>
parents: 52430
diff changeset
618 "Return a single space string of WIDTH times the normal character width.
615ebe291578 (ruler-mode-left-fringe-cols): Add new optional
Richard M. Stallman <rms@gnu.org>
parents: 52430
diff changeset
619 Optional argument PROPS specifies other text properties to apply."
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
620 (apply 'propertize " " 'display (list 'space :width width) props))
41461
5507024cc13c Add pagination.
Richard M. Stallman <rms@gnu.org>
parents: 39731
diff changeset
621
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
622 (defun ruler-mode-ruler ()
54440
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
623 "Compute and return an header line ruler."
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
624 (let* ((w (window-width))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
625 (m (window-margins))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
626 (f (window-fringes))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
627 (i 0)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
628 (j (window-hscroll))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
629 ;; Setup the scrollbar, fringes, and margins areas.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
630 (lf (ruler-mode-space
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
631 'left-fringe
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
632 'face 'ruler-mode-fringes-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
633 'help-echo (format ruler-mode-fringe-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
634 "Left" (or (car f) 0))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
635 (rf (ruler-mode-space
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
636 'right-fringe
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
637 'face 'ruler-mode-fringes-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
638 'help-echo (format ruler-mode-fringe-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
639 "Right" (or (cadr f) 0))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
640 (lm (ruler-mode-space
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
641 'left-margin
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
642 'face 'ruler-mode-margins-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
643 'help-echo (format ruler-mode-margin-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
644 "Left" (or (car m) 0))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
645 (rm (ruler-mode-space
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
646 'right-margin
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
647 'face 'ruler-mode-margins-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
648 'help-echo (format ruler-mode-margin-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
649 "Right" (or (cdr m) 0))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
650 (sb (ruler-mode-space
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
651 'scroll-bar
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
652 'face 'ruler-mode-pad-face))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
653 ;; Remember the scrollbar vertical type.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
654 (sbvt (car (window-current-scroll-bars)))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
655 ;; Create an "clean" ruler.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
656 (ruler
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
657 (propertize
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
658 (make-string w ruler-mode-basic-graduation-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
659 'face 'ruler-mode-default-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
660 'local-map ruler-mode-map
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
661 'help-echo (cond
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
662 (ruler-mode-show-tab-stops
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
663 ruler-mode-ruler-help-echo-when-tab-stops)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
664 (goal-column
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
665 ruler-mode-ruler-help-echo-when-goal-column)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
666 (ruler-mode-ruler-help-echo))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
667 k c)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
668 ;; Setup the active area.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
669 (while (< i w)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
670 ;; Graduations.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
671 (cond
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
672 ;; Show a number graduation.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
673 ((= (mod j 10) 0)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
674 (setq c (number-to-string (/ j 10))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
675 m (length c)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
676 k i)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
677 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
678 i (1+ i) 'face 'ruler-mode-column-number-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
679 ruler)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
680 (while (and (> m 0) (>= k 0))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
681 (aset ruler k (aref c (setq m (1- m))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
682 (setq k (1- k))))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
683 ;; Show an intermediate graduation.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
684 ((= (mod j 5) 0)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
685 (aset ruler i ruler-mode-inter-graduation-char)))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
686 ;; Special columns.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
687 (cond
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
688 ;; Show the `current-column' marker.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
689 ((= j (current-column))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
690 (aset ruler i ruler-mode-current-column-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
691 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
692 i (1+ i) 'face 'ruler-mode-current-column-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
693 ruler))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
694 ;; Show the `goal-column' marker.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
695 ((and goal-column (= j goal-column))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
696 (aset ruler i ruler-mode-goal-column-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
697 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
698 i (1+ i) 'face 'ruler-mode-goal-column-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
699 ruler)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
700 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
701 i (1+ i) 'help-echo ruler-mode-goal-column-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
702 ruler))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
703 ;; Show the `comment-column' marker.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
704 ((= j comment-column)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
705 (aset ruler i ruler-mode-comment-column-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
706 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
707 i (1+ i) 'face 'ruler-mode-comment-column-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
708 ruler)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
709 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
710 i (1+ i) 'help-echo ruler-mode-comment-column-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
711 ruler))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
712 ;; Show the `fill-column' marker.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
713 ((= j fill-column)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
714 (aset ruler i ruler-mode-fill-column-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
715 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
716 i (1+ i) 'face 'ruler-mode-fill-column-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
717 ruler)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
718 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
719 i (1+ i) 'help-echo ruler-mode-fill-column-help-echo
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
720 ruler))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
721 ;; Show the `tab-stop-list' markers.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
722 ((and ruler-mode-show-tab-stops (member j tab-stop-list))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
723 (aset ruler i ruler-mode-tab-stop-char)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
724 (put-text-property
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
725 i (1+ i) 'face 'ruler-mode-tab-stop-face
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
726 ruler)))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
727 (setq i (1+ i)
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
728 j (1+ j)))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
729 ;; Return the ruler propertized string. Using list here,
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
730 ;; instead of concat visually separate the different areas.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
731 (if (nth 2 (window-fringes))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
732 ;; fringes outside margins.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
733 (list "" (and (eq 'left sbvt) sb) lf lm
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
734 ruler rm rf (and (eq 'right sbvt) sb))
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
735 ;; fringes inside margins.
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
736 (list "" (and (eq 'left sbvt) sb) lm lf
aabf30299e6c From David Ponce <david@dponce.com>
Kim F. Storm <storm@cua.dk>
parents: 54401
diff changeset
737 ruler rf rm (and (eq 'right sbvt) sb)))))
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
738
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
739 (provide 'ruler-mode)
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
740
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
741 ;; Local Variables:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
742 ;; coding: iso-latin-1
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
743 ;; End:
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
744
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 51389
diff changeset
745 ;;; arch-tag: b2f24546-5605-44c4-b67b-c9a4eeba3ee8
39731
0fbd04880396 *** empty log message ***
Gerd Moellmann <gerd@gnu.org>
parents:
diff changeset
746 ;;; ruler-mode.el ends here