simple.el 155 KB
Newer Older
Eric S. Raymond's avatar
Eric S. Raymond committed
1 2
;;; simple.el --- basic editing commands for Emacs

3
;; Copyright (C) 1985, 86, 87, 93, 94, 95, 96, 97, 98, 99, 2000, 2001
4
;;        Free Software Foundation, Inc.
Jim Blandy's avatar
Jim Blandy committed
5 6 7 8 9

;; This file is part of GNU Emacs.

;; GNU Emacs is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
Eric S. Raymond's avatar
Eric S. Raymond committed
10
;; the Free Software Foundation; either version 2, or (at your option)
Jim Blandy's avatar
Jim Blandy committed
11 12 13 14 15 16 17 18
;; any later version.

;; GNU Emacs is distributed in the hope that it will be useful,
;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;; GNU General Public License for more details.

;; You should have received a copy of the GNU General Public License
Erik Naggum's avatar
Erik Naggum committed
19 20 21
;; along with GNU Emacs; see the file COPYING.  If not, write to the
;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
;; Boston, MA 02111-1307, USA.
Jim Blandy's avatar
Jim Blandy committed
22

23 24 25 26 27
;;; Commentary:

;; A grab-bag of basic Emacs commands not specifically related to some
;; major mode or to file-handling.

Eric S. Raymond's avatar
Eric S. Raymond committed
28
;;; Code:
Jim Blandy's avatar
Jim Blandy committed
29

Gerd Moellmann's avatar
Gerd Moellmann committed
30
(eval-when-compile
31
  (autoload 'widget-convert "wid-edit")
Dave Love's avatar
Dave Love committed
32
  (autoload 'shell-mode "shell")
Gerd Moellmann's avatar
Gerd Moellmann committed
33 34 35
  (require 'cl))


36 37 38 39 40 41 42 43 44
(defgroup killing nil
  "Killing and yanking commands"
  :group 'editing)

(defgroup paren-matching nil
  "Highlight (un)matching of parens and expressions."
  :group 'matching)


Karl Heuer's avatar
Karl Heuer committed
45 46 47 48 49
(defun fundamental-mode ()
  "Major mode not specialized for anything in particular.
Other major modes are defined by comparison with this one."
  (interactive)
  (kill-all-local-variables))
50

Karl Heuer's avatar
Karl Heuer committed
51 52
;; Making and deleting lines.

53
(defun newline (&optional arg)
54
  "Insert a newline, and move to left margin of the new line if it's blank.
55
The newline is marked with the text-property `hard'.
56
With ARG, insert that many newlines.
57 58
In Auto Fill mode, if no numeric arg, break the preceding line if it's long."
  (interactive "*P")
59
  (barf-if-buffer-read-only)
60 61 62 63
  ;; Inserting a newline at the end of a line produces better redisplay in
  ;; try_window_id than inserting at the beginning of a line, and the textual
  ;; result is the same.  So, if we're at beginning of line, pretend to be at
  ;; the end of the previous line.
64
  (let ((flag (and (not (bobp))
65
		   (bolp)
66 67 68 69
		   ;; Make sure no functions want to be told about
		   ;; the range of the changes.
		   (not after-change-functions)
		   (not before-change-functions)
70 71
		   ;; Make sure there are no markers here.
		   (not (buffer-has-markers-at (1- (point))))
72
		   (not (buffer-has-markers-at (point)))
73 74 75 76 77 78
		   ;; Make sure no text properties want to know
		   ;; where the change was.
		   (not (get-char-property (1- (point)) 'modification-hooks))
		   (not (get-char-property (1- (point)) 'insert-behind-hooks))
		   (or (eobp)
		       (not (get-char-property (point) 'insert-in-front-hooks)))
79 80 81 82 83 84 85 86
		   ;; Make sure the newline before point isn't intangible.
		   (not (get-char-property (1- (point)) 'intangible))
		   ;; Make sure the newline before point isn't read-only.
		   (not (get-char-property (1- (point)) 'read-only))
		   ;; Make sure the newline before point isn't invisible.
		   (not (get-char-property (1- (point)) 'invisible))
		   ;; Make sure the newline before point has the same
		   ;; properties as the char before it (if any).
87
		   (< (or (previous-property-change (point)) -2)
88 89 90 91
		      (- (point) 2))))
	(was-page-start (and (bolp)
			     (looking-at page-delimiter)))
	(beforepos (point)))
92 93 94 95 96
    (if flag (backward-char 1))
    ;; Call self-insert so that auto-fill, abbrev expansion etc. happens.
    ;; Set last-command-char to tell self-insert what to insert.
    (let ((last-command-char ?\n)
	  ;; Don't auto-fill if we have a numeric argument.
97 98 99
	  ;; Also not if flag is true (it would fill wrong line);
	  ;; there is no need to since we're at BOL.
	  (auto-fill-function (if (or arg flag) nil auto-fill-function)))
100 101 102 103
      (unwind-protect
	  (self-insert-command (prefix-numeric-value arg))
	;; If we get an error in self-insert-command, put point at right place.
	(if flag (forward-char 1))))
104 105 106 107
    ;; Even if we did *not* get an error, keep that forward-char;
    ;; all further processing should apply to the newline that the user
    ;; thinks he inserted.

108 109
    ;; Mark the newline(s) `hard'.
    (if use-hard-newlines
110
	(set-hard-newline-properties
111
	 (- (point) (if arg (prefix-numeric-value arg) 1)) (point)))
112 113 114 115 116 117 118 119 120 121 122 123 124 125
    ;; If the newline leaves the previous line blank,
    ;; and we have a left margin, delete that from the blank line.
    (or flag
	(save-excursion
	  (goto-char beforepos)
	  (beginning-of-line)
	  (and (looking-at "[ \t]$")
	       (> (current-left-margin) 0)
	       (delete-region (point) (progn (end-of-line) (point))))))
    ;; Indent the line after the newline, except in one case:
    ;; when we added the newline at the beginning of a line
    ;; which starts a page.
    (or was-page-start
	(move-to-left-margin nil t)))
126 127
  nil)

128 129 130 131 132 133 134
(defun set-hard-newline-properties (from to)
  (let ((sticky (get-text-property from 'rear-nonsticky)))
    (put-text-property from to 'hard 't)
    ;; If rear-nonsticky is not "t", add 'hard to rear-nonsticky list
    (if (and (listp sticky) (not (memq 'hard sticky)))
	(put-text-property from (point) 'rear-nonsticky
			   (cons 'hard sticky)))))
135

Jim Blandy's avatar
Jim Blandy committed
136
(defun open-line (arg)
137
  "Insert a newline and leave point before it.
138
If there is a fill prefix and/or a left-margin, insert them on the new line
139
if the line would have been blank.
140
With arg N, insert N newlines."
Jim Blandy's avatar
Jim Blandy committed
141
  (interactive "*p")
142
  (let* ((do-fill-prefix (and fill-prefix (bolp)))
143
	 (do-left-margin (and (bolp) (> (current-left-margin) 0)))
144 145 146
	 (loc (point))
	 ;; Don't expand an abbrev before point.
	 (abbrev-mode nil))
147 148
    (newline arg)
    (goto-char loc)
149
    (while (> arg 0)
150 151 152 153
      (cond ((bolp)
	     (if do-left-margin (indent-to (current-left-margin)))
	     (if do-fill-prefix (insert-and-inherit fill-prefix))))
      (forward-line 1)
154
      (setq arg (1- arg)))
155 156
    (goto-char loc)
    (end-of-line)))
Jim Blandy's avatar
Jim Blandy committed
157 158 159 160 161 162 163

(defun split-line ()
  "Split current line, moving portion beyond point vertically down."
  (interactive "*")
  (skip-chars-forward " \t")
  (let ((col (current-column))
	(pos (point)))
164
    (newline 1)
Jim Blandy's avatar
Jim Blandy committed
165 166 167 168 169
    (indent-to col 0)
    (goto-char pos)))

(defun delete-indentation (&optional arg)
  "Join this line to previous and fix up whitespace at join.
170
If there is a fill prefix, delete it from the beginning of this line.
Jim Blandy's avatar
Jim Blandy committed
171 172 173 174 175 176 177
With argument, join this line to following line."
  (interactive "*P")
  (beginning-of-line)
  (if arg (forward-line 1))
  (if (eq (preceding-char) ?\n)
      (progn
	(delete-region (point) (1- (point)))
178 179 180
	;; If the second line started with the fill prefix,
	;; delete the prefix.
	(if (and fill-prefix
181
		 (<= (+ (point) (length fill-prefix)) (point-max))
182 183 184 185
		 (string= fill-prefix
			  (buffer-substring (point)
					    (+ (point) (length fill-prefix)))))
	    (delete-region (point) (+ (point) (length fill-prefix))))
Jim Blandy's avatar
Jim Blandy committed
186 187
	(fixup-whitespace))))

Dave Love's avatar
Dave Love committed
188
(defalias 'join-line #'delete-indentation) ; easier to find
189

Jim Blandy's avatar
Jim Blandy committed
190 191 192
(defun delete-blank-lines ()
  "On blank line, delete all surrounding blank lines, leaving just one.
On isolated blank line, delete that one.
193
On nonblank line, delete any immediately following blank lines."
Jim Blandy's avatar
Jim Blandy committed
194 195 196 197 198
  (interactive "*")
  (let (thisblank singleblank)
    (save-excursion
      (beginning-of-line)
      (setq thisblank (looking-at "[ \t]*$"))
Jim Blandy's avatar
Jim Blandy committed
199
      ;; Set singleblank if there is just one blank line here.
Jim Blandy's avatar
Jim Blandy committed
200 201 202 203 204 205
      (setq singleblank
	    (and thisblank
		 (not (looking-at "[ \t]*\n[ \t]*$"))
		 (or (bobp)
		     (progn (forward-line -1)
			    (not (looking-at "[ \t]*$")))))))
Jim Blandy's avatar
Jim Blandy committed
206
    ;; Delete preceding blank lines, and this one too if it's the only one.
Jim Blandy's avatar
Jim Blandy committed
207 208 209 210 211 212 213 214
    (if thisblank
	(progn
	  (beginning-of-line)
	  (if singleblank (forward-line 1))
	  (delete-region (point)
			 (if (re-search-backward "[^ \t\n]" nil t)
			     (progn (forward-line 1) (point))
			   (point-min)))))
Jim Blandy's avatar
Jim Blandy committed
215 216
    ;; Delete following blank lines, unless the current line is blank
    ;; and there are no following blank lines.
Jim Blandy's avatar
Jim Blandy committed
217 218 219 220 221 222 223
    (if (not (and thisblank singleblank))
	(save-excursion
	  (end-of-line)
	  (forward-line 1)
	  (delete-region (point)
			 (if (re-search-forward "[^ \t\n]" nil t)
			     (progn (beginning-of-line) (point))
Jim Blandy's avatar
Jim Blandy committed
224 225 226 227 228
			   (point-max)))))
    ;; Handle the special case where point is followed by newline and eob.
    ;; Delete the line, leaving point at eob.
    (if (looking-at "^[ \t]*\n\\'")
	(delete-region (point) (point-max)))))
Jim Blandy's avatar
Jim Blandy committed
229

230 231 232
(defun delete-trailing-whitespace ()
  "Delete all the trailing whitespace across the current buffer.
All whitespace after the last non-whitespace character in a line is deleted.
233 234
This respects narrowing, created by \\[narrow-to-region] and friends.
A formfeed is not considered whitespace by this function."
235 236 237 238
  (interactive "*")
  (save-match-data
    (save-excursion
      (goto-char (point-min))
239 240
      (while (re-search-forward "\\s-$" nil t)
	(skip-syntax-backward "-" (save-excursion (forward-line 0) (point)))
241 242 243
	;; Don't delete formfeeds, even if they are considered whitespace.
	(if (looking-at ".*\f")
	    (goto-char (match-end 0)))
244
	(delete-region (point) (match-end 0))))))
245

Jim Blandy's avatar
Jim Blandy committed
246 247
(defun newline-and-indent ()
  "Insert a newline, then indent according to major mode.
248
Indentation is done using the value of `indent-line-function'.
Jim Blandy's avatar
Jim Blandy committed
249
In programming language modes, this is the same as TAB.
250
In some text modes, where TAB inserts a tab, this command indents to the
251
column specified by the function `current-left-margin'."
Jim Blandy's avatar
Jim Blandy committed
252
  (interactive "*")
253
  (delete-horizontal-space t)
Jim Blandy's avatar
Jim Blandy committed
254
  (newline)
Jim Blandy's avatar
Jim Blandy committed
255 256 257 258 259
  (indent-according-to-mode))

(defun reindent-then-newline-and-indent ()
  "Reindent current line, insert newline, then indent the new line.
Indentation of both lines is done according to the current major mode,
260
which means calling the current value of `indent-line-function'.
Jim Blandy's avatar
Jim Blandy committed
261 262
In programming language modes, this is the same as TAB.
In some text modes, where TAB inserts a tab, this indents to the
263
column specified by the function `current-left-margin'."
Jim Blandy's avatar
Jim Blandy committed
264 265
  (interactive "*")
  (save-excursion
266
    (delete-horizontal-space t)
Jim Blandy's avatar
Jim Blandy committed
267
    (indent-according-to-mode))
Jim Blandy's avatar
Jim Blandy committed
268
  (newline)
Jim Blandy's avatar
Jim Blandy committed
269
  (indent-according-to-mode))
270

Karl Heuer's avatar
Karl Heuer committed
271 272 273
(defun quoted-insert (arg)
  "Read next input character and insert it.
This is useful for inserting control characters.
Jim Blandy's avatar
Jim Blandy committed
274

Karl Heuer's avatar
Karl Heuer committed
275 276 277 278 279 280
If the first character you type after this command is an octal digit,
you should type a sequence of octal digits which specify a character code.
Any nondigit terminates the sequence.  If the terminator is a RET,
it is discarded; any other terminator is used itself as input.
The variable `read-quoted-char-radix' specifies the radix for this feature;
set it to 10 or 16 to use decimal or hex instead of octal.
281

Karl Heuer's avatar
Karl Heuer committed
282 283 284 285
In overwrite mode, this function inserts the character anyway, and
does not handle octal digits specially.  This means that if you use
overwrite as your normal editing mode, you can use this function to
insert characters when necessary.
286

Karl Heuer's avatar
Karl Heuer committed
287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307
In binary overwrite mode, this function does overwrite, and octal
digits are interpreted as a character code.  This is intended to be
useful for editing binary files."
  (interactive "*p")
  (let ((char (if (or (not overwrite-mode)
		      (eq overwrite-mode 'overwrite-mode-binary))
		  (read-quoted-char)
		(read-char))))
    ;; Assume character codes 0240 - 0377 stand for characters in some
    ;; single-byte character set, and convert them to Emacs
    ;; characters.
    (if (and enable-multibyte-characters
	     (>= char ?\240)
	     (<= char ?\377))
	(setq char (unibyte-char-to-multibyte char)))
    (if (> arg 0)
	(if (eq overwrite-mode 'overwrite-mode-binary)
	    (delete-char arg)))
    (while (> arg 0)
      (insert-and-inherit char)
      (setq arg (1- arg)))))
308

Karl Heuer's avatar
Karl Heuer committed
309 310 311 312 313
(defun forward-to-indentation (arg)
  "Move forward ARG lines and position at first nonblank character."
  (interactive "p")
  (forward-line arg)
  (skip-chars-forward " \t"))
314

Karl Heuer's avatar
Karl Heuer committed
315 316 317 318 319
(defun backward-to-indentation (arg)
  "Move backward ARG lines and position at first nonblank character."
  (interactive "p")
  (forward-line (- arg))
  (skip-chars-forward " \t"))
Jim Blandy's avatar
Jim Blandy committed
320

Karl Heuer's avatar
Karl Heuer committed
321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338
(defun back-to-indentation ()
  "Move point to the first non-whitespace character on this line."
  (interactive)
  (beginning-of-line 1)
  (skip-chars-forward " \t"))

(defun fixup-whitespace ()
  "Fixup white space between objects around point.
Leave one space or none, according to the context."
  (interactive "*")
  (save-excursion
    (delete-horizontal-space)
    (if (or (looking-at "^\\|\\s)")
	    (save-excursion (forward-char -1)
			    (looking-at "$\\|\\s(\\|\\s'")))
	nil
      (insert ?\ ))))

339 340 341
(defun delete-horizontal-space (&optional backward-only)
  "Delete all spaces and tabs around point.
If BACKWARD-ONLY is non-nil, only delete spaces before point."
Karl Heuer's avatar
Karl Heuer committed
342
  (interactive "*")
343 344 345 346 347 348 349
  (let ((orig-pos (point)))
    (delete-region
     (if backward-only
	 orig-pos
       (progn
	 (skip-chars-forward " \t")
	 (constrain-to-field nil orig-pos t)))
350
     (progn
351 352
       (skip-chars-backward " \t")
       (constrain-to-field nil orig-pos)))))
Karl Heuer's avatar
Karl Heuer committed
353 354 355 356

(defun just-one-space ()
  "Delete all spaces and tabs around point, leaving one space."
  (interactive "*")
357 358 359 360 361 362 363 364 365 366 367
  (let ((orig-pos (point)))
    (skip-chars-backward " \t")
    (constrain-to-field nil orig-pos)
    (if (= (following-char) ? )
	(forward-char 1)
      (insert ? ))
    (delete-region
     (point)
     (progn
       (skip-chars-forward " \t")
       (constrain-to-field nil orig-pos t)))))
368

Jim Blandy's avatar
Jim Blandy committed
369 370
(defun beginning-of-buffer (&optional arg)
  "Move point to the beginning of the buffer; leave mark at previous position.
371 372 373 374
With arg N, put point N/10 of the way from the beginning.

If the buffer is narrowed, this command uses the beginning and size
of the accessible part of the buffer.
375 376

Don't use this command in Lisp programs!
Jim Blandy's avatar
Jim Blandy committed
377 378 379
\(goto-char (point-min)) is faster and avoids clobbering the mark."
  (interactive "P")
  (push-mark)
380 381 382 383 384 385 386 387 388
  (let ((size (- (point-max) (point-min))))
    (goto-char (if arg
		   (+ (point-min)
		      (if (> size 10000)
			  ;; Avoid overflow for large buffer sizes!
			  (* (prefix-numeric-value arg)
			     (/ size 10))
			(/ (+ 10 (* size (prefix-numeric-value arg))) 10)))
		 (point-min))))
Jim Blandy's avatar
Jim Blandy committed
389 390 391 392
  (if arg (forward-line 1)))

(defun end-of-buffer (&optional arg)
  "Move point to the end of the buffer; leave mark at previous position.
393 394 395 396
With arg N, put point N/10 of the way from the end.

If the buffer is narrowed, this command uses the beginning and size
of the accessible part of the buffer.
397 398

Don't use this command in Lisp programs!
Jim Blandy's avatar
Jim Blandy committed
399 400 401
\(goto-char (point-max)) is faster and avoids clobbering the mark."
  (interactive "P")
  (push-mark)
402 403 404 405 406 407 408 409 410
  (let ((size (- (point-max) (point-min))))
    (goto-char (if arg
		   (- (point-max)
		      (if (> size 10000)
			  ;; Avoid overflow for large buffer sizes!
			  (* (prefix-numeric-value arg)
			     (/ size 10))
			(/ (* size (prefix-numeric-value arg)) 10)))
		 (point-max))))
Eric S. Raymond's avatar
Eric S. Raymond committed
411 412
  ;; If we went to a place in the middle of the buffer,
  ;; adjust it to the beginning of a line.
413 414 415 416 417 418
  (cond (arg (forward-line 1))
	((< (point) (window-end nil t))
	 ;; If the end of the buffer is not already on the screen,
	 ;; then scroll specially to put it near, but not at, the bottom.
	 (overlay-recenter (point))
	 (recenter -3))))
Jim Blandy's avatar
Jim Blandy committed
419 420

(defun mark-whole-buffer ()
Jim Blandy's avatar
Jim Blandy committed
421 422 423 424
  "Put point at beginning and mark at end of buffer.
You probably should not use this function in Lisp programs;
it is usually a mistake for a Lisp function to use any subroutine
that uses or sets the mark."
Jim Blandy's avatar
Jim Blandy committed
425 426
  (interactive)
  (push-mark (point))
427
  (push-mark (point-max) nil t)
Jim Blandy's avatar
Jim Blandy committed
428
  (goto-char (point-min)))
429

430

Karl Heuer's avatar
Karl Heuer committed
431 432 433 434 435 436 437 438 439 440 441 442
;; Counting lines, one way or another.

(defun goto-line (arg)
  "Goto line ARG, counting from line 1 at beginning of buffer."
  (interactive "NGoto line: ")
  (setq arg (prefix-numeric-value arg))
  (save-restriction
    (widen)
    (goto-char 1)
    (if (eq selective-display t)
	(re-search-forward "[\n\C-m]" nil 'end (1- arg))
      (forward-line (1- arg)))))
Jim Blandy's avatar
Jim Blandy committed
443 444

(defun count-lines-region (start end)
445
  "Print number of lines and characters in the region."
Jim Blandy's avatar
Jim Blandy committed
446 447 448 449 450
  (interactive "r")
  (message "Region has %d lines, %d characters"
	   (count-lines start end) (- end start)))

(defun what-line ()
451
  "Print the current buffer line number and narrowed line number of point."
Jim Blandy's avatar
Jim Blandy committed
452
  (interactive)
453
  (let ((opoint (point)) start)
Jim Blandy's avatar
Jim Blandy committed
454
    (save-excursion
455 456 457 458 459 460 461 462 463 464 465 466 467
      (save-restriction
	(goto-char (point-min))
	(widen)
	(beginning-of-line)
	(setq start (point))
	(goto-char opoint)
	(beginning-of-line)
	(if (/= start 1)
	    (message "line %d (narrowed line %d)"
		     (1+ (count-lines 1 (point)))
		     (1+ (count-lines start (point))))
	  (message "Line %d" (1+ (count-lines 1 (point)))))))))

Jim Blandy's avatar
Jim Blandy committed
468 469 470
(defun count-lines (start end)
  "Return number of lines between START and END.
This is usually the number of newlines between them,
471
but can be one more if START is not equal to END
Jim Blandy's avatar
Jim Blandy committed
472
and the greater of them is not at the start of a line."
473 474 475 476 477 478
  (save-excursion
    (save-restriction
      (narrow-to-region start end)
      (goto-char (point-min))
      (if (eq selective-display t)
	  (save-match-data
479 480 481 482 483
	    (let ((done 0))
	      (while (re-search-forward "[\n\C-m]" nil t 40)
		(setq done (+ 40 done)))
	      (while (re-search-forward "[\n\C-m]" nil t 1)
		(setq done (+ 1 done)))
484 485 486 487
	      (goto-char (point-max))
	      (if (and (/= start end)
		       (not (bolp)))
		  (1+ done)
488 489
		done)))
	(- (buffer-size) (forward-line (buffer-size)))))))
490

491 492
(defun what-cursor-position (&optional detail)
  "Print info on cursor position (on screen and within buffer).
493
Also describe the character after point, and give its character code
494 495 496 497 498 499 500
in octal, decimal and hex.

For a non-ASCII multibyte character, also give its encoding in the
buffer's selected coding system if the coding system encodes the
character safely.  If the character is encoded into one byte, that
code is shown in hex.  If the character is encoded into more than one
byte, just \"...\" is shown.
501

502 503
In addition, with prefix argument, show details about that character
in *Help* buffer.  See also the command `describe-char-after'."
504
  (interactive "P")
Jim Blandy's avatar
Jim Blandy committed
505 506 507 508 509 510 511 512 513 514 515 516 517 518 519
  (let* ((char (following-char))
	 (beg (point-min))
	 (end (point-max))
         (pos (point))
	 (total (buffer-size))
	 (percent (if (> total 50000)
		      ;; Avoid overflow from multiplying by 100!
		      (/ (+ (/ total 200) (1- pos)) (max (/ total 100) 1))
		    (/ (+ (/ total 2) (* 100 (1- pos))) (max total 1))))
	 (hscroll (if (= (window-hscroll) 0)
		      ""
		    (format " Hscroll=%d" (window-hscroll))))
	 (col (current-column)))
    (if (= pos end)
	(if (or (/= beg 1) (/= end (1+ total)))
520
	    (message "point=%d of %d (%d%%) <%d - %d> column %d %s"
Jim Blandy's avatar
Jim Blandy committed
521
		     pos total percent beg end col hscroll)
522
	  (message "point=%d of %d (%d%%) column %d %s"
Jim Blandy's avatar
Jim Blandy committed
523
		   pos total percent col hscroll))
524 525 526 527 528
      (let ((coding buffer-file-coding-system)
	    encoded encoding-msg)
	(if (or (not coding)
		(eq (coding-system-type coding) t))
	    (setq coding default-buffer-file-coding-system))
529 530 531 532 533 534
	(if (not (char-valid-p char))
	    (setq encoding-msg
		  (format "(0%o, %d, 0x%x, invalid)" char char char))
	  (setq encoded (and (>= char 128) (encode-coding-char char coding)))
	  (setq encoding-msg
		(if encoded
535
		    (format "(0%o, %d, 0x%x, file %s)"
536
			    char char char
537
			    (if (> (length encoded) 1)
538
				"..."
539
			      (encoded-string-description encoded coding)))
540
		  (format "(0%o, %d, 0x%x)" char char char))))
541
	(if detail
542 543 544 545
	    ;; We show the detailed information about CHAR.
	    (describe-char-after (point)))
	(if (or (/= beg 1) (/= end (1+ total)))
	    (message "Char: %s %s point=%d of %d (%d%%) <%d - %d> column %d %s"
546 547
		     (if (< char 256)
			 (single-key-description char)
548
		       (buffer-substring-no-properties (point) (1+ (point))))
549 550 551 552 553 554
		     encoding-msg pos total percent beg end col hscroll)
	  (message "Char: %s %s point=%d of %d (%d%%) column %d %s"
		   (if (< char 256)
		       (single-key-description char)
		     (buffer-substring-no-properties (point) (1+ (point))))
		   encoding-msg pos total percent col hscroll))))))
555

556 557 558 559 560
(defvar read-expression-map
  (let ((m (make-sparse-keymap)))
    (define-key m "\M-\t" 'lisp-complete-symbol)
    (set-keymap-parent m minibuffer-local-map)
    m)
561 562
  "Minibuffer keymap used for reading Lisp expressions.")

563 564
(defvar read-expression-history nil)

565 566 567 568 569 570 571 572 573
(defcustom eval-expression-print-level 4
  "*Value to use for `print-level' when printing value in `eval-expression'."
  :group 'lisp
  :type 'integer
  :version "21.1")

(defcustom eval-expression-print-length 12
  "*Value to use for `print-length' when printing value in `eval-expression'."
  :group 'lisp
574
  :type '(choice (const nil) integer)
575 576 577
  :version "21.1")

(defcustom eval-expression-debug-on-error t
578 579
  "*Non-nil means set `debug-on-error' when evaluating in `eval-expression'.
If nil, don't change the value of `debug-on-error'."
580 581 582 583
  :group 'lisp
  :type 'boolean
  :version "21.1")

584
;; We define this, rather than making `eval' interactive,
Jim Blandy's avatar
Jim Blandy committed
585
;; for the sake of completion of names like eval-region, eval-current-buffer.
586 587
(defun eval-expression (eval-expression-arg
			&optional eval-expression-insert-value)
Eli Zaretskii's avatar
Eli Zaretskii committed
588 589 590 591 592
  "Evaluate EVAL-EXPRESSION-ARG and print value in the echo area.
Value is also consed on to front of the variable `values'.
Optional argument EVAL-EXPRESSION-INSERT-VALUE, if non-nil, means
insert the result into the current buffer instead of printing it in
the echo area."
593
  (interactive
594 595
   (list (read-from-minibuffer "Eval: "
			       nil read-expression-map t
596 597
			       'read-expression-history)
	 current-prefix-arg))
598

599 600 601 602 603 604 605 606 607 608 609 610
  (if (null eval-expression-debug-on-error)
      (setq values (cons (eval eval-expression-arg) values))
    (let ((old-value (make-symbol "t")) new-value)
      ;; Bind debug-on-error to something unique so that we can
      ;; detect when evaled code changes it.
      (let ((debug-on-error old-value))
	(setq values (cons (eval eval-expression-arg) values))
	(setq new-value debug-on-error))
      ;; If evaled code has changed the value of debug-on-error,
      ;; propagate that change to the global binding.
      (unless (eq old-value new-value)
	(setq debug-on-error new-value))))
611

612 613 614 615
  (let ((print-length eval-expression-print-length)
	(print-level eval-expression-print-level))
    (prin1 (car values)
	   (if eval-expression-insert-value (current-buffer) t))))
Jim Blandy's avatar
Jim Blandy committed
616 617 618 619 620

(defun edit-and-eval-command (prompt command)
  "Prompting with PROMPT, let user edit COMMAND and eval result.
COMMAND is a Lisp expression.  Let user edit that expression in
the minibuffer, then read and evaluate the result."
621 622 623 624
  (let ((command (read-from-minibuffer prompt
				       (prin1-to-string command)
				       read-expression-map t
				       '(command-history . 1))))
625
    ;; If command was added to command-history as a string,
626
    ;; get rid of that.  We want only evaluable expressions there.
627 628 629 630 631 632 633
    (if (stringp (car command-history))
	(setq command-history (cdr command-history)))

    ;; If command to be redone does not match front of history,
    ;; add it to the history.
    (or (equal command (car command-history))
	(setq command-history (cons command command-history)))
Jim Blandy's avatar
Jim Blandy committed
634 635
    (eval command)))

636
(defun repeat-complex-command (arg)
Jim Blandy's avatar
Jim Blandy committed
637 638 639 640 641 642
  "Edit and re-evaluate last complex command, or ARGth from last.
A complex command is one which used the minibuffer.
The command is placed in the minibuffer as a Lisp form for editing.
The result is executed, repeating the command as changed.
If the command has been changed or is not the most recent previous command
it is added to the front of the command history.
643 644
You can use the minibuffer history commands \\<minibuffer-local-map>\\[next-history-element] and \\[previous-history-element]
to get different commands to edit and resubmit."
Jim Blandy's avatar
Jim Blandy committed
645
  (interactive "p")
646
  (let ((elt (nth (1- arg) command-history))
Jim Blandy's avatar
Jim Blandy committed
647 648
	newcmd)
    (if elt
649
	(progn
650
	  (setq newcmd
651 652
		(let ((print-level nil)
		      (minibuffer-history-position arg)
653
		      (minibuffer-history-sexp-flag (1+ (minibuffer-depth))))
654 655 656
		  (read-from-minibuffer
		   "Redo: " (prin1-to-string elt) read-expression-map t
		   (cons 'command-history arg))))
657

658
	  ;; If command was added to command-history as a string,
659
	  ;; get rid of that.  We want only evaluable expressions there.
660 661 662 663 664 665 666
	  (if (stringp (car command-history))
	      (setq command-history (cdr command-history)))

	  ;; If command to be redone does not match front of history,
	  ;; add it to the history.
	  (or (equal newcmd (car command-history))
	      (setq command-history (cons newcmd command-history)))
Jim Blandy's avatar
Jim Blandy committed
667 668
	  (eval newcmd))
      (ding))))
669

670 671 672 673 674
(defvar minibuffer-history nil
  "Default minibuffer history list.
This is used for all minibuffer input
except when an alternate history list is specified.")
(defvar minibuffer-history-sexp-flag nil
675
  "Non-nil when doing history operations on `command-history'.
676
More generally, indicates that the history list being acted on
677 678 679
contains expressions rather than strings.
It is only valid if its value equals the current minibuffer depth,
to handle recursive uses of the minibuffer.")
680 681
(setq minibuffer-history-variable 'minibuffer-history)
(setq minibuffer-history-position nil)
682
(defvar minibuffer-history-search-history nil)
683

Jim Blandy's avatar
Jim Blandy committed
684
(mapcar
685 686 687 688 689 690 691 692 693 694
 (lambda (key-and-command)
   (mapcar
    (lambda (keymap-and-completionp)
      ;; Arg is (KEYMAP-SYMBOL . COMPLETION-MAP-P).
      ;; If the cdr of KEY-AND-COMMAND (the command) is a cons,
      ;; its car is used if COMPLETION-MAP-P is nil, its cdr if it is t.
      (define-key (symbol-value (car keymap-and-completionp))
	(car key-and-command)
	(let ((command (cdr key-and-command)))
	  (if (consp command)
695 696 697 698
	      ;; (and ... nil) => ... turns back on the completion-oriented
	      ;; history commands which rms turned off since they seem to
	      ;; do things he doesn't like.
	      (if (and (cdr keymap-and-completionp) nil) ;XXX turned off
699
		  (progn (error "EMACS BUG!") (cdr command))
700 701 702 703 704 705 706
		(car command))
	    command))))
    '((minibuffer-local-map . nil)
      (minibuffer-local-ns-map . nil)
      (minibuffer-local-completion-map . t)
      (minibuffer-local-must-match-map . t)
      (read-expression-map . nil))))
707 708 709 710
 '(("\en" . (next-history-element . next-complete-history-element))
   ([next] . (next-history-element . next-complete-history-element))
   ("\ep" . (previous-history-element . previous-complete-history-element))
   ([prior] . (previous-history-element . previous-complete-history-element))
Jim Blandy's avatar
Jim Blandy committed
711 712
   ("\er" . previous-matching-history-element)
   ("\es" . next-matching-history-element)))
713

714 715 716 717 718 719 720 721 722 723
(defvar minibuffer-text-before-history nil
  "Text that was in this minibuffer before any history commands.
This is nil if there have not yet been any history commands
in this use of the minibuffer.")

(add-hook 'minibuffer-setup-hook 'minibuffer-history-initialize)

(defun minibuffer-history-initialize ()
  (setq minibuffer-text-before-history nil))

724 725 726 727
(defun minibuffer-avoid-prompt (new old)
  "A point-motion hook for the minibuffer, that moves point out of the prompt."
  (constrain-to-field nil (point-max)))

728 729 730 731 732 733 734 735
(defcustom minibuffer-history-case-insensitive-variables nil
  "*Minibuffer history variables for which matching should ignore case.
If a history variable is a member of this list, then the
\\[previous-matching-history-element] and \\[next-matching-history-element]\
 commands ignore case when searching it, regardless of `case-fold-search'."
  :type '(repeat variable)
  :group 'minibuffer)

736
(defun previous-matching-history-element (regexp n)
737 738 739
  "Find the previous history element that matches REGEXP.
\(Previous history elements refer to earlier actions.)
With prefix argument N, search for Nth previous match.
740
If N is negative, find the next or Nth next match.
741 742 743
Normally, history elements are matched case-insensitively if
`case-fold-search' is non-nil, but an uppercase letter in REGEXP
makes the search case-sensitive.
744
See also `minibuffer-history-case-insensitive-variables'."
745
  (interactive
746 747 748 749 750 751 752 753
   (let* ((enable-recursive-minibuffers t)
	  (regexp (read-from-minibuffer "Previous element matching (regexp): "
					nil
					minibuffer-local-map
					nil
					'minibuffer-history-search-history)))
     ;; Use the last regexp specified, by default, if input is empty.
     (list (if (string= regexp "")
754 755 756
	       (if minibuffer-history-search-history
		   (car minibuffer-history-search-history)
		 (error "No previous history search regexp"))
757
	     regexp)
758
	   (prefix-numeric-value current-prefix-arg))))
759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780
  (unless (zerop n)
    (if (and (zerop minibuffer-history-position)
	     (null minibuffer-text-before-history))
	(setq minibuffer-text-before-history (field-string (point-max))))
    (let ((history (symbol-value minibuffer-history-variable))
	  (case-fold-search
	   (if (isearch-no-upper-case-p regexp t) ; assume isearch.el is dumped
	       ;; On some systems, ignore case for file names.
	       (if (memq minibuffer-history-variable
			 minibuffer-history-case-insensitive-variables)
		   t
		 ;; Respect the user's setting for case-fold-search:
		 case-fold-search)
	     nil))
	  prevpos
	  match-string
	  match-offset
	  (pos minibuffer-history-position))
      (while (/= n 0)
	(setq prevpos pos)
	(setq pos (min (max 1 (+ pos (if (< n 0) -1 1))) (length history)))
	(when (= pos prevpos)
781
	  (error (if (= pos 1)
782 783
		     "No later matching history item"
		   "No earlier matching history item")))
784 785
	(setq match-string
	      (if (eq minibuffer-history-sexp-flag (minibuffer-depth))
786
		  (let ((print-level nil))
787 788 789 790 791 792 793 794 795 796 797 798 799 800 801
		    (prin1-to-string (nth (1- pos) history)))
		(nth (1- pos) history)))
	(setq match-offset
	      (if (< n 0)
		  (and (string-match regexp match-string)
		       (match-end 0))
		(and (string-match (concat ".*\\(" regexp "\\)") match-string)
		     (match-beginning 1))))
	(when match-offset
	  (setq n (+ n (if (< n 0) 1 -1)))))
      (setq minibuffer-history-position pos)
      (goto-char (point-max))
      (delete-field)
      (insert match-string)
      (goto-char (+ (field-beginning) match-offset))))
802 803 804
  (if (or (eq (car (car command-history)) 'previous-matching-history-element)
	  (eq (car (car command-history)) 'next-matching-history-element))
      (setq command-history (cdr command-history))))
805 806

(defun next-matching-history-element (regexp n)
807 808 809
  "Find the next history element that matches REGEXP.
\(The next history element refers to a more recent action.)
With prefix argument N, search for Nth next match.
810
If N is negative, find the previous or Nth previous match.
811 812 813
Normally, history elements are matched case-insensitively if
`case-fold-search' is non-nil, but an uppercase letter in REGEXP
makes the search case-sensitive."
814
  (interactive
815 816 817 818 819 820 821 822 823 824 825
   (let* ((enable-recursive-minibuffers t)
	  (regexp (read-from-minibuffer "Next element matching (regexp): "
					nil
					minibuffer-local-map
					nil
					'minibuffer-history-search-history)))
     ;; Use the last regexp specified, by default, if input is empty.
     (list (if (string= regexp "")
	       (setcar minibuffer-history-search-history
		       (nth 1 minibuffer-history-search-history))
	     regexp)
826
	   (prefix-numeric-value current-prefix-arg))))
827
  (previous-matching-history-element regexp (- n)))
Jim Blandy's avatar
Jim Blandy committed
828

829 830
(defvar minibuffer-temporary-goal-position nil)

831 832
(defun next-history-element (n)
  "Insert the next element of the minibuffer history into the minibuffer."
Jim Blandy's avatar
Jim Blandy committed
833
  (interactive "p")
834
  (or (zerop n)
835 836
      (let ((narg (- minibuffer-history-position n))
	    (minimum (if minibuffer-default -1 0))
Karl Heuer's avatar
Karl Heuer committed
837
	    elt minibuffer-returned-to-present)
838 839
	(if (and (zerop minibuffer-history-position)
		 (null minibuffer-text-before-history))
Gerd Moellmann's avatar
Gerd Moellmann committed
840
	    (setq minibuffer-text-before-history (field-string (point-max))))
841
	(if (< narg minimum)
842 843 844
	    (if minibuffer-default
		(error "End of history; no next item")
	      (error "End of history; no default available")))
845 846
	(if (> narg (length (symbol-value minibuffer-history-variable)))
	    (error "Beginning of history; no preceding item"))
847 848 849 850 851 852 853
	(unless (or (eq last-command 'next-history-element)
		    (eq last-command 'previous-history-element))
	  (let ((prompt-end (field-beginning (point-max))))
	    (set (make-local-variable 'minibuffer-temporary-goal-position)
		 (cond ((<= (point) prompt-end) prompt-end)
		       ((eobp) nil)
		       (t (point))))))
Gerd Moellmann's avatar
Gerd Moellmann committed
854
	(goto-char (point-max))
855
	(delete-field)
856 857 858 859
	(setq minibuffer-history-position narg)
	(cond ((= narg -1)
	       (setq elt minibuffer-default))
	      ((= narg 0)
Richard M. Stallman's avatar
Richard M. Stallman committed
860
	       (setq elt (or minibuffer-text-before-history ""))
Karl Heuer's avatar
Karl Heuer committed
861
	       (setq minibuffer-returned-to-present t)
862 863 864 865
	       (setq minibuffer-text-before-history nil))
	      (t (setq elt (nth (1- minibuffer-history-position)
				(symbol-value minibuffer-history-variable)))))
	(insert
Karl Heuer's avatar
Karl Heuer committed
866 867
	 (if (and (eq minibuffer-history-sexp-flag (minibuffer-depth))
		  (not minibuffer-returned-to-present))
868 869 870
	     (let ((print-level nil))
	       (prin1-to-string elt))
	   elt))
871
	(goto-char (or minibuffer-temporary-goal-position (point-max))))))
Jim Blandy's avatar
Jim Blandy committed
872

873
(defun previous-history-element (n)
Richard M. Stallman's avatar
Richard M. Stallman committed
874
  "Inserts the previous element of the minibuffer history into the minibuffer."
Jim Blandy's avatar
Jim Blandy committed
875
  (interactive "p")
876
  (next-history-element (- n)))
877 878

(defun next-complete-history-element (n)
Gerd Moellmann's avatar
Gerd Moellmann committed
879 880 881
  "Get next history element which completes the minibuffer before the point.
The contents of the minibuffer after the point are deleted, and replaced
by the new completion."
882
  (interactive "p")
883 884
  (let ((point-at-start (point)))
    (next-matching-history-element
Gerd Moellmann's avatar
Gerd Moellmann committed
885 886 887
     (concat
      "^" (regexp-quote (buffer-substring (field-beginning) (point))))
     n)
888 889 890 891
    ;; next-matching-history-element always puts us at (point-min).
    ;; Move to the position we were at before changing the buffer contents.
    ;; This is still sensical, because the text before point has not changed.
    (goto-char point-at-start)))
892 893

(defun previous-complete-history-element (n)
894
  "\
Gerd Moellmann's avatar
Gerd Moellmann committed
895 896 897
Get previous history element which completes the minibuffer before the point.
The contents of the minibuffer after the point are deleted, and replaced
by the new completion."
898 899
  (interactive "p")
  (next-complete-history-element (- n)))
Gerd Moellmann's avatar
Gerd Moellmann committed
900 901 902 903 904 905 906 907 908 909 910 911 912

;; These two functions are for compatibility with the old subrs of the
;; same name.

(defun minibuffer-prompt-width ()
  "Return the display width of the minibuffer prompt.
Return 0 if current buffer is not a mini-buffer."
  ;; Return the width of everything before the field at the end of
  ;; the buffer; this should be 0 for normal buffers.
  (1- (field-beginning (point-max))))

(defun minibuffer-prompt-end ()
  "Return the buffer position of the end of the minibuffer prompt.
913
Return (point-min) if current buffer is not a mini-buffer."
914 915
  (field-beginning (point-max)))

916 917 918 919 920 921 922 923 924 925 926 927 928 929
(defun minibuffer-contents ()
  "Return the user input in a minbuffer as a string.
The current buffer must be a minibuffer."
  (field-string (point-max)))

(defun minibuffer-contents-no-properties ()
  "Return the user input in a minbuffer as a string, without text-properties.
The current buffer must be a minibuffer."
  (field-string-no-properties (point-max)))

(defun delete-minibuffer-contents  ()
  "Delete all user input in a minibuffer.
The current buffer must be a minibuffer."
  (delete-field (point-max)))
930

Jim Blandy's avatar
Jim Blandy committed
931
;Put this on C-x u, so we can force that rather than C-_ into startup msg
932
(defalias 'advertised-undo 'undo)
Jim Blandy's avatar
Jim Blandy committed
933 934 935 936

(defun undo (&optional arg)
  "Undo some previous changes.
Repeat this command to undo more changes.
937 938
A numeric argument serves as a repeat count.

939 940 941
In Transient Mark mode when the mark is active, only undo changes within
the current region.  Similarly, when not in Transient Mark mode, just C-u
as an argument limits undo to changes within the current region."
942
  (interactive "*P")
943 944 945
  ;; If we don't get all the way thru, make last-command indicate that
  ;; for the following command.
  (setq this-command t)
946 947
  (let ((modified (buffer-modified-p))
	(recent-save (recent-auto-save-p)))
Jim Blandy's avatar
Jim Blandy committed
948 949
    (or (eq (selected-window) (minibuffer-window))
	(message "Undo!"))
950 951 952 953 954 955 956 957 958 959
    (unless (eq last-command 'undo)
      (if (if transient-mark-mode mark-active (and arg (not (numberp arg))))
	  (undo-start (region-beginning) (region-end))
	(undo-start))
      ;; get rid of initial undo boundary
      (undo-more 1))
    (undo-more
     (if (or transient-mark-mode (numberp arg))
	 (prefix-numeric-value arg)
       1))
960 961 962 963 964 965 966 967 968 969
    ;; Don't specify a position in the undo record for the undo command.
    ;; Instead, undoing this should move point to where the change is.
    (let ((tail buffer-undo-list)
	  done)
      (while (and tail (not done) (not (null (car tail))))
	(if (integerp (car tail))
	    (progn
	      (setq done t)
	      (setq buffer-undo-list (delq (car tail) buffer-undo-list))))
	(setq tail (cdr tail))))
Jim Blandy's avatar
Jim Blandy committed
970
    (and modified (not (buffer-modified-p))
971 972 973
	 (delete-auto-save-file-if-necessary recent-save)))
  ;; If we do get all the way thru, make this-command indicate that.
  (setq this-command 'undo))
Jim Blandy's avatar
Jim Blandy committed
974

975 976 977
(defvar pending-undo-list nil
  "Within a run of consecutive undo commands, list remaining to be undone.")

978 979 980 981
(defvar undo-in-progress nil
  "Non-nil while performing an undo.
Some change-hooks test this variable to do something different.")

Jim Blandy's avatar
Jim Blandy committed
982 983
(defun undo-more (count)
  "Undo back N undo-boundaries beyond what was already undone recently.
984 985
Call `undo-start' to get ready to undo recent changes,
then call `undo-more' one or more times to undo them."
Jim Blandy's avatar
Jim Blandy committed
986 987
  (or pending-undo-list
      (error "No further undo information"))
988 989
  (let ((undo-in-progress t))
    (setq pending-undo-list (primitive-undo count pending-undo-list))))
Jim Blandy's avatar
Jim Blandy committed
990

991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008
;; Deep copy of a list
(defun undo-copy-list (list)
  "Make a copy of undo list LIST."
  (mapcar 'undo-copy-list-1 list))

(defun undo-copy-list-1 (elt)
  (if (consp elt)
      (cons (car elt) (undo-copy-list-1 (cdr elt)))
    elt))

(defun undo-start (&optional beg end)
  "Set `pending-undo-list' to the front of the undo list.
The next call to `undo-more' will undo the most recently made change.
If BEG and END are specified, then only undo elements
that apply to text between BEG and END are used; other undo elements
are ignored.  If BEG and END are nil, all undo elements are used."
  (if (eq buffer-undo-list t)
      (error "No undo information in this buffer"))
1009
  (setq pending-undo-list
1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069
	(if (and beg end (not (= beg end)))
	    (undo-make-selective-list (min beg end) (max beg end))
	  buffer-undo-list)))

(defvar undo-adjusted-markers)

(defun undo-make-selective-list (start end)
  "Return a list of undo elements for the</