diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-02-28 12:22:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-02-28 12:22:13 +0000 |
| commit | 5a37180c03b61f4d64492e3fb36e4d7673e6e261 (patch) | |
| tree | a1d54d0c0aa5359762d0f365538e4355718583f3 /generic/proof-indent.el | |
| parent | e39eff792f0976cce529bb872ee0d21de5de2417 (diff) | |
Remove proof-indent-pad-eol atrocity
Diffstat (limited to 'generic/proof-indent.el')
| -rw-r--r-- | generic/proof-indent.el | 41 |
1 files changed, 1 insertions, 40 deletions
diff --git a/generic/proof-indent.el b/generic/proof-indent.el index 22ff742c..c0109c03 100644 --- a/generic/proof-indent.el +++ b/generic/proof-indent.el @@ -84,45 +84,6 @@ (back-to-indentation) (proof-indent-calculate (proof-indent-offset) (proof-indent-inner-p)))))) (if (< (current-column) (current-indentation)) - (back-to-indentation)))) - (if proof-indent-pad-eol - (proof-indent-pad-eol))) + (back-to-indentation))))) - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; -;; Useless spaces -;; - -(defun proof-indent-pad-eol (&optional col) - "Add padding to end of current line to match the previous line or COL. -This function adds useless space to buffers, but it cleans up the appearance -of locked regions in XEmacs." - ;; A hook for TAB? - (interactive) - (save-excursion - (let ((descol (or col - (save-excursion - (end-of-line 0) - (current-column))))) - (save-excursion - (end-of-line 1) - (if (or (equal (current-column) 0) ;; special case for empty lines - (> descol (current-column))) - (progn - (insert-char ?\ (- descol (current-column))))))))) - -(defun proof-indent-pad-eol-region (start end) - "Pad a region with extra spaces to the length of the longest line." - (interactive) - ;; Find the longest line.. - ;; pad others to the same length - ) - - - - - - (provide 'proof-indent) |