diff options
| author | Makarius Wenzel | 1999-11-17 14:18:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-11-17 14:18:19 +0000 |
| commit | af74656b7755be523e9e154184db1a89a175ffa1 (patch) | |
| tree | 0169eab1aaca3cd157e48b94e3fbb91129b7b25f | |
| parent | 175e664facf85117f99d351dea71a40411aecd16 (diff) | |
cleaned;
| -rw-r--r-- | isar/isar.el | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/isar/isar.el b/isar/isar.el index 3bc2a939..c2473a8f 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -87,14 +87,14 @@ (defvar isar-shell-outline-regexp "\370[ \t]*\\([0-9]+\\)\\.") (defvar isar-shell-outline-heading-end-regexp "$") -(defun isar-outline-setup () - (if (and window-system (string-match "XEmacs" emacs-version)) - (progn - (custom-set-variables ;custom value dictatorship! - '(outline-mac-style t)) - (outl-mouse-minor-mode)) - (outline-minor-mode))) - +;(defun isar-outline-setup () +; (if (and window-system (string-match "XEmacs" emacs-version)) +; (progn +; (custom-set-variables ;custom value dictatorship! +; '(outline-mac-style t)) +; (outl-mouse-minor-mode)) +; (outline-minor-mode))) +; ; FIXME tmp (defun isar-outline-setup () t) @@ -143,7 +143,7 @@ (cmt-end-regexp (regexp-quote proof-comment-end)) (cmt-start-regexp (regexp-quote proof-comment-start)) (found-header nil) forward-amount - (end (point-max)) (cont t) (cmt-level 0)) + (end (point-max)) (cont t) (cmt-level 0) c) (save-excursion (goto-char (point-min)) (while (and cont (< (point) end)) |
