Mercurial > emacs
annotate lisp/xscheme.el @ 88934:f814744c5774
(calculate_scrolling, calculate_direct_scrolling):
Declare an arg.
author | Dave Love <fx@gnu.org> |
---|---|
date | Tue, 30 Jul 2002 11:36:03 +0000 |
parents | 0715d86d229c |
children | d1cd5d1c6e77 |
rev | line source |
---|---|
29052 | 1 ;;; xscheme.el --- run MIT Scheme under Emacs |
656
d74e65773062
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
2 |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
3 ;; Copyright (C) 1986, 1987, 1989, 1990, 2001 Free Software Foundation, Inc. |
840
113281b361ec
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
812
diff
changeset
|
4 |
773
9c89fd7ddd41
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
772
diff
changeset
|
5 ;; Maintainer: FSF |
5140 | 6 ;; Keywords: languages, lisp |
772
2b5af16c9af3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
656
diff
changeset
|
7 |
91 | 8 ;; This file is part of GNU Emacs. |
9 | |
10 ;; GNU Emacs is free software; you can redistribute it and/or modify | |
11 ;; it under the terms of the GNU General Public License as published by | |
807
4f28bd14272c
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
773
diff
changeset
|
12 ;; the Free Software Foundation; either version 2, or (at your option) |
91 | 13 ;; any later version. |
14 | |
15 ;; GNU Emacs is distributed in the hope that it will be useful, | |
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of | |
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
18 ;; GNU General Public License for more details. | |
19 | |
20 ;; You should have received a copy of the GNU General Public License | |
14169 | 21 ;; along with GNU Emacs; see the file COPYING. If not, write to the |
22 ;; Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
23 ;; Boston, MA 02111-1307, USA. | |
91 | 24 |
772
2b5af16c9af3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
656
diff
changeset
|
25 ;;; Commentary: |
2b5af16c9af3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
656
diff
changeset
|
26 |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
27 ;; A major mode for interacting with MIT Scheme. |
2319
d98c49df2acd
Added or corrected Commentary section
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
851
diff
changeset
|
28 ;; |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
29 ;; Requires MIT Scheme release 5 or later. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
30 ;; Changes to Control-G handler require runtime version 13.85 or later. |
91 | 31 |
772
2b5af16c9af3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
656
diff
changeset
|
32 ;;; Code: |
2b5af16c9af3
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
656
diff
changeset
|
33 |
91 | 34 (require 'scheme) |
35 | |
21088 | 36 (defgroup xscheme nil |
37 "Major mode for editing Scheme and interacting with MIT's C-Scheme." | |
38 :group 'lisp) | |
39 | |
40 (defcustom scheme-band-name nil | |
41 "*Band loaded by the `run-scheme' command." | |
42 :type '(choice (const nil) string) | |
43 :group 'xscheme) | |
91 | 44 |
21088 | 45 (defcustom scheme-program-arguments nil |
46 "*Arguments passed to the Scheme program by the `run-scheme' command." | |
47 :type '(choice (const nil) string) | |
48 :group 'xscheme) | |
91 | 49 |
21088 | 50 (defcustom xscheme-allow-pipelined-evaluation t |
91 | 51 "If non-nil, an expression may be transmitted while another is evaluating. |
52 Otherwise, attempting to evaluate an expression before the previous expression | |
21088 | 53 has finished evaluating will signal an error." |
54 :type 'boolean | |
55 :group 'xscheme) | |
91 | 56 |
21088 | 57 (defcustom xscheme-startup-message |
91 | 58 "This is the Scheme process buffer. |
59 Type \\[advertised-xscheme-send-previous-expression] to evaluate the expression before point. | |
60 Type \\[xscheme-send-control-g-interrupt] to abort evaluation. | |
61 Type \\[describe-mode] for more information. | |
62 | |
63 " | |
64 "String to insert into Scheme process buffer first time it is started. | |
21088 | 65 Is processed with `substitute-command-keys' first." |
66 :type 'string | |
67 :group 'xscheme) | |
91 | 68 |
21088 | 69 (defcustom xscheme-signal-death-message nil |
70 "If non-nil, causes a message to be generated when the Scheme process dies." | |
71 :type 'boolean | |
72 :group 'xscheme) | |
91 | 73 |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
74 (defcustom xscheme-start-hook nil |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
75 "If non-nil, a procedure to call when the Scheme process is started. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
76 When called, the current buffer will be the Scheme process-buffer." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
77 :type 'hook |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
78 :group 'xscheme |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
79 :version 20.3) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
80 |
91 | 81 (defun xscheme-evaluation-commands (keymap) |
82 (define-key keymap "\e\C-x" 'xscheme-send-definition) | |
83 (define-key keymap "\C-x\C-e" 'advertised-xscheme-send-previous-expression) | |
84 (define-key keymap "\eo" 'xscheme-send-buffer) | |
85 (define-key keymap "\ez" 'xscheme-send-definition) | |
86 (define-key keymap "\e\C-m" 'xscheme-send-previous-expression) | |
87 (define-key keymap "\e\C-z" 'xscheme-send-region)) | |
88 | |
89 (defun xscheme-interrupt-commands (keymap) | |
90 (define-key keymap "\C-c\C-s" 'xscheme-select-process-buffer) | |
91 (define-key keymap "\C-c\C-b" 'xscheme-send-breakpoint-interrupt) | |
92 (define-key keymap "\C-c\C-c" 'xscheme-send-control-g-interrupt) | |
93 (define-key keymap "\C-c\C-u" 'xscheme-send-control-u-interrupt) | |
94 (define-key keymap "\C-c\C-x" 'xscheme-send-control-x-interrupt)) | |
95 | |
96 (xscheme-evaluation-commands scheme-mode-map) | |
97 (xscheme-interrupt-commands scheme-mode-map) | |
98 | |
99 (defun run-scheme (command-line) | |
9590
f84a7b49021d
(run-scheme): Delete autoload cookie.
Richard M. Stallman <rms@gnu.org>
parents:
5140
diff
changeset
|
100 "Run MIT Scheme in an inferior process. |
91 | 101 Output goes to the buffer `*scheme*'. |
102 With argument, asks for a command line." | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
103 (interactive (list (xscheme-read-command-line current-prefix-arg))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
104 (xscheme-start command-line xscheme-process-name xscheme-buffer-name)) |
91 | 105 |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
106 (defun xscheme-start (command-line process-name buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
107 (setq-default xscheme-process-command-line command-line) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
108 (switch-to-buffer |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
109 (xscheme-start-process command-line process-name buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
110 (make-local-variable 'xscheme-process-command-line) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
111 (setq xscheme-process-command-line command-line)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
112 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
113 (defun xscheme-read-command-line (arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
114 (let ((default |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
115 (or xscheme-process-command-line |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
116 (xscheme-default-command-line)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
117 (if arg |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
118 (read-string "Run Scheme: " default) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
119 default))) |
91 | 120 |
121 (defun xscheme-default-command-line () | |
122 (concat scheme-program-name " -emacs" | |
123 (if scheme-program-arguments | |
124 (concat " " scheme-program-arguments) | |
125 "") | |
126 (if scheme-band-name | |
127 (concat " -band " scheme-band-name) | |
128 ""))) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
129 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
130 (defun reset-scheme () |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
131 "Reset the Scheme process." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
132 (interactive) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
133 (let ((process (get-process xscheme-process-name))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
134 (cond ((or (not process) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
135 (not (eq (process-status process) 'run)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
136 (yes-or-no-p |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
137 "The Scheme process is running, are you SURE you want to reset it? ")) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
138 (message "Resetting Scheme process...") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
139 (if process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
140 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
141 (kill-process process t) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
142 (delete-process process))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
143 (xscheme-start-process xscheme-process-command-line |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
144 xscheme-process-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
145 xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
146 (message "Resetting Scheme process...done"))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
147 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
148 ;;;; Multiple Scheme buffer management commands |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
149 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
150 (defun start-scheme (buffer-name &optional globally) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
151 "Choose a scheme interaction buffer, or create a new one." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
152 ;; (interactive "BScheme interaction buffer: \nP") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
153 (interactive |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
154 (list (read-buffer "Scheme interaction buffer: " |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
155 xscheme-buffer-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
156 nil) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
157 current-prefix-arg)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
158 (let ((buffer (get-buffer-create buffer-name))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
159 (let ((process (get-buffer-process buffer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
160 (if process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
161 (switch-to-buffer buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
162 (if (or (not (buffer-file-name buffer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
163 (yes-or-no-p (concat "Buffer " |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
164 (buffer-name buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
165 " contains file " |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
166 (buffer-file-name buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
167 "; start scheme in it? "))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
168 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
169 (xscheme-start (xscheme-read-command-line t) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
170 buffer-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
171 buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
172 (if globally |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
173 (global-set-scheme-interaction-buffer buffer-name))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
174 (message "start-scheme aborted")))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
175 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
176 (fset 'select-scheme 'start-scheme) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
177 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
178 (defun global-set-scheme-interaction-buffer (buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
179 "Set the default scheme interaction buffer." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
180 (interactive |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
181 (list (read-buffer "Scheme interaction buffer: " |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
182 xscheme-buffer-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
183 t))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
184 (let ((process-name (verify-xscheme-buffer buffer-name nil))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
185 (setq-default xscheme-buffer-name buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
186 (setq-default xscheme-process-name process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
187 (setq-default xscheme-runlight-string |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
188 (save-excursion (set-buffer buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
189 xscheme-runlight-string)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
190 (setq-default xscheme-runlight |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
191 (if (eq (process-status process-name) 'run) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
192 default-xscheme-runlight |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
193 "")))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
194 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
195 (defun local-set-scheme-interaction-buffer (buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
196 "Set the scheme interaction buffer for the current buffer." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
197 (interactive |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
198 (list (read-buffer "Scheme interaction buffer: " |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
199 xscheme-buffer-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
200 t))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
201 (let ((process-name (verify-xscheme-buffer buffer-name t))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
202 (make-local-variable 'xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
203 (setq xscheme-buffer-name buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
204 (make-local-variable 'xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
205 (setq xscheme-process-name process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
206 (make-local-variable 'xscheme-runlight) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
207 (setq xscheme-runlight (save-excursion (set-buffer buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
208 xscheme-runlight)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
209 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
210 (defun local-clear-scheme-interaction-buffer () |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
211 "Make the current buffer use the default scheme interaction buffer." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
212 (interactive) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
213 (if (xscheme-process-buffer-current-p) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
214 (error "Cannot change the interaction buffer of an interaction buffer")) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
215 (kill-local-variable 'xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
216 (kill-local-variable 'xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
217 (kill-local-variable 'xscheme-runlight)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
218 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
219 (defun verify-xscheme-buffer (buffer-name localp) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
220 (if (and localp (xscheme-process-buffer-current-p)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
221 (error "Cannot change the interaction buffer of an interaction buffer")) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
222 (let* ((buffer (get-buffer buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
223 (process (and buffer (get-buffer-process buffer)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
224 (cond ((not buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
225 (error "Buffer does not exist" buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
226 ((not process) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
227 (error "Buffer is not a scheme interaction buffer" buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
228 (t |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
229 (save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
230 (set-buffer buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
231 (if (not (xscheme-process-buffer-current-p)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
232 (error "Buffer is not a scheme interaction buffer" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
233 buffer-name))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
234 (process-name process))))) |
91 | 235 |
236 ;;;; Interaction Mode | |
237 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
238 (defun scheme-interaction-mode (&optional preserve) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
239 "Major mode for interacting with an inferior MIT Scheme process. |
91 | 240 Like scheme-mode except that: |
241 | |
242 \\[advertised-xscheme-send-previous-expression] sends the expression before point to the Scheme process as input | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
243 \\[xscheme-yank-pop] yanks an expression previously sent to Scheme |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
244 \\[xscheme-yank-push] yanks an expression more recently sent to Scheme |
91 | 245 |
246 All output from the Scheme process is written in the Scheme process | |
247 buffer, which is initially named \"*scheme*\". The result of | |
248 evaluating a Scheme expression is also printed in the process buffer, | |
249 preceded by the string \";Value: \" to highlight it. If the process | |
250 buffer is not visible at that time, the value will also be displayed | |
251 in the minibuffer. If an error occurs, the process buffer will | |
252 automatically pop up to show you the error message. | |
253 | |
254 While the Scheme process is running, the modelines of all buffers in | |
255 scheme-mode are modified to show the state of the process. The | |
256 possible states and their meanings are: | |
257 | |
258 input waiting for input | |
259 run evaluating | |
260 gc garbage collecting | |
261 | |
262 The process buffer's modeline contains additional information where | |
263 the buffer's name is normally displayed: the command interpreter level | |
264 and type. | |
265 | |
266 Scheme maintains a stack of command interpreters. Every time an error | |
267 or breakpoint occurs, the current command interpreter is pushed on the | |
268 command interpreter stack, and a new command interpreter is started. | |
269 One example of why this is done is so that an error that occurs while | |
270 you are debugging another error will not destroy the state of the | |
271 initial error, allowing you to return to it after the second error has | |
272 been fixed. | |
273 | |
274 The command interpreter level indicates how many interpreters are in | |
275 the command interpreter stack. It is initially set to one, and it is | |
276 incremented every time that stack is pushed, and decremented every | |
277 time it is popped. The following commands are useful for manipulating | |
278 the command interpreter stack: | |
279 | |
280 \\[xscheme-send-breakpoint-interrupt] pushes the stack once | |
281 \\[xscheme-send-control-u-interrupt] pops the stack once | |
282 \\[xscheme-send-control-g-interrupt] pops everything off | |
283 \\[xscheme-send-control-x-interrupt] aborts evaluation, doesn't affect stack | |
284 | |
285 Some possible command interpreter types and their meanings are: | |
286 | |
287 [Evaluator] read-eval-print loop for evaluating expressions | |
288 [Debugger] single character commands for debugging errors | |
289 [Where] single character commands for examining environments | |
290 | |
291 Starting with release 6.2 of Scheme, the latter two types of command | |
292 interpreters will change the major mode of the Scheme process buffer | |
293 to scheme-debugger-mode , in which the evaluation commands are | |
294 disabled, and the keys which normally self insert instead send | |
295 themselves to the Scheme process. The command character ? will list | |
296 the available commands. | |
297 | |
298 For older releases of Scheme, the major mode will be be | |
299 scheme-interaction-mode , and the command characters must be sent as | |
300 if they were expressions. | |
301 | |
302 Commands: | |
303 Delete converts tabs to spaces as it moves back. | |
304 Blank lines separate paragraphs. Semicolons start comments. | |
305 \\{scheme-interaction-mode-map} | |
306 | |
307 Entry to this mode calls the value of scheme-interaction-mode-hook | |
308 with no args, if that value is non-nil. | |
309 Likewise with the value of scheme-mode-hook. | |
310 scheme-interaction-mode-hook is called after scheme-mode-hook." | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
311 (interactive "P") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
312 (if (not preserve) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
313 (let ((previous-mode major-mode)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
314 (kill-all-local-variables) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
315 (make-local-variable 'xscheme-previous-mode) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
316 (make-local-variable 'xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
317 (make-local-variable 'xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
318 (make-local-variable 'xscheme-previous-process-state) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
319 (make-local-variable 'xscheme-runlight-string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
320 (make-local-variable 'xscheme-runlight) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
321 (make-local-variable 'xscheme-last-input-end) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
322 (setq xscheme-previous-mode previous-mode) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
323 (let ((buffer (current-buffer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
324 (setq xscheme-buffer-name (buffer-name buffer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
325 (setq xscheme-last-input-end (make-marker)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
326 (let ((process (get-buffer-process buffer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
327 (if process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
328 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
329 (setq xscheme-process-name (process-name process)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
330 (setq xscheme-previous-process-state |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
331 (cons (process-filter process) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
332 (process-sentinel process))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
333 (xscheme-process-filter-initialize t) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
334 (xscheme-modeline-initialize xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
335 (set-process-sentinel process 'xscheme-process-sentinel) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
336 (set-process-filter process 'xscheme-process-filter)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
337 (setq xscheme-previous-process-state (cons nil nil))))))) |
91 | 338 (scheme-interaction-mode-initialize) |
339 (scheme-mode-variables) | |
340 (run-hooks 'scheme-mode-hook 'scheme-interaction-mode-hook)) | |
341 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
342 (defun exit-scheme-interaction-mode () |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
343 "Take buffer out of scheme interaction mode" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
344 (interactive) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
345 (if (not (eq major-mode 'scheme-interaction-mode)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
346 (error "Buffer not in scheme interaction mode")) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
347 (let ((previous-state xscheme-previous-process-state)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
348 (funcall xscheme-previous-mode) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
349 (let ((process (get-buffer-process (current-buffer)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
350 (if process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
351 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
352 (if (eq (process-filter process) 'xscheme-process-filter) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
353 (set-process-filter process (car previous-state))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
354 (if (eq (process-sentinel process) 'xscheme-process-sentinel) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
355 (set-process-sentinel process (cdr previous-state)))))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
356 |
91 | 357 (defun scheme-interaction-mode-initialize () |
358 (use-local-map scheme-interaction-mode-map) | |
359 (setq major-mode 'scheme-interaction-mode) | |
360 (setq mode-name "Scheme Interaction")) | |
361 | |
362 (defun scheme-interaction-mode-commands (keymap) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
363 (let ((entries scheme-interaction-mode-commands-alist)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
364 (while entries |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
365 (define-key keymap |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
366 (car (car entries)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
367 (car (cdr (car entries)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
368 (setq entries (cdr entries))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
369 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
370 (defvar scheme-interaction-mode-commands-alist nil) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
371 (setq scheme-interaction-mode-commands-alist |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
372 (append scheme-interaction-mode-commands-alist |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
373 '(("\C-c\C-m" xscheme-send-current-line) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
374 ("\C-c\C-o" xscheme-delete-output) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
375 ("\C-c\C-p" xscheme-send-proceed) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
376 ("\C-c\C-y" xscheme-yank) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
377 ("\ep" xscheme-yank-pop) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
378 ("\en" xscheme-yank-push)))) |
91 | 379 |
380 (defvar scheme-interaction-mode-map nil) | |
381 (if (not scheme-interaction-mode-map) | |
382 (progn | |
383 (setq scheme-interaction-mode-map (make-keymap)) | |
384 (scheme-mode-commands scheme-interaction-mode-map) | |
385 (xscheme-interrupt-commands scheme-interaction-mode-map) | |
386 (xscheme-evaluation-commands scheme-interaction-mode-map) | |
387 (scheme-interaction-mode-commands scheme-interaction-mode-map))) | |
388 | |
389 (defun xscheme-enter-interaction-mode () | |
390 (save-excursion | |
391 (set-buffer (xscheme-process-buffer)) | |
392 (if (not (eq major-mode 'scheme-interaction-mode)) | |
393 (if (eq major-mode 'scheme-debugger-mode) | |
394 (scheme-interaction-mode-initialize) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
395 (scheme-interaction-mode t))))) |
91 | 396 |
397 (fset 'advertised-xscheme-send-previous-expression | |
398 'xscheme-send-previous-expression) | |
399 | |
400 ;;;; Debugger Mode | |
401 | |
402 (defun scheme-debugger-mode () | |
403 "Major mode for executing the Scheme debugger. | |
404 Like scheme-mode except that the evaluation commands | |
405 are disabled, and characters that would normally be self inserting are | |
406 sent to the Scheme process instead. Typing ? will show you which | |
407 characters perform useful functions. | |
408 | |
409 Commands: | |
410 \\{scheme-debugger-mode-map}" | |
411 (error "Illegal entry to scheme-debugger-mode")) | |
412 | |
413 (defun scheme-debugger-mode-initialize () | |
414 (use-local-map scheme-debugger-mode-map) | |
415 (setq major-mode 'scheme-debugger-mode) | |
416 (setq mode-name "Scheme Debugger")) | |
417 | |
418 (defun scheme-debugger-mode-commands (keymap) | |
419 (let ((char ? )) | |
420 (while (< char 127) | |
421 (define-key keymap (char-to-string char) 'scheme-debugger-self-insert) | |
422 (setq char (1+ char))))) | |
423 | |
424 (defvar scheme-debugger-mode-map nil) | |
425 (if (not scheme-debugger-mode-map) | |
426 (progn | |
427 (setq scheme-debugger-mode-map (make-keymap)) | |
428 (scheme-mode-commands scheme-debugger-mode-map) | |
429 (xscheme-interrupt-commands scheme-debugger-mode-map) | |
430 (scheme-debugger-mode-commands scheme-debugger-mode-map))) | |
431 | |
432 (defun scheme-debugger-self-insert () | |
433 "Transmit this character to the Scheme process." | |
434 (interactive) | |
435 (xscheme-send-char last-command-char)) | |
436 | |
437 (defun xscheme-enter-debugger-mode (prompt-string) | |
438 (save-excursion | |
439 (set-buffer (xscheme-process-buffer)) | |
440 (if (not (eq major-mode 'scheme-debugger-mode)) | |
441 (progn | |
442 (if (not (eq major-mode 'scheme-interaction-mode)) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
443 (scheme-interaction-mode t)) |
91 | 444 (scheme-debugger-mode-initialize))))) |
445 | |
446 (defun xscheme-debugger-mode-p () | |
447 (let ((buffer (xscheme-process-buffer))) | |
448 (and buffer | |
449 (save-excursion | |
450 (set-buffer buffer) | |
451 (eq major-mode 'scheme-debugger-mode))))) | |
452 | |
453 ;;;; Evaluation Commands | |
454 | |
455 (defun xscheme-send-string (&rest strings) | |
456 "Send the string arguments to the Scheme process. | |
457 The strings are concatenated and terminated by a newline." | |
458 (cond ((not (xscheme-process-running-p)) | |
459 (if (yes-or-no-p "The Scheme process has died. Reset it? ") | |
460 (progn | |
461 (reset-scheme) | |
462 (xscheme-wait-for-process) | |
463 (xscheme-send-string-1 strings)))) | |
464 ((xscheme-debugger-mode-p) (error "No sends allowed in debugger mode")) | |
465 ((and (not xscheme-allow-pipelined-evaluation) | |
466 xscheme-running-p) | |
467 (error "No sends allowed while Scheme running")) | |
468 (t (xscheme-send-string-1 strings)))) | |
469 | |
470 (defun xscheme-send-string-1 (strings) | |
471 (let ((string (apply 'concat strings))) | |
472 (xscheme-send-string-2 string) | |
473 (if (eq major-mode 'scheme-interaction-mode) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
474 (xscheme-insert-expression string)))) |
91 | 475 |
476 (defun xscheme-send-string-2 (string) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
477 (let ((process (get-process xscheme-process-name))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
478 (process-send-string process (concat string "\n")) |
91 | 479 (if (xscheme-process-buffer-current-p) |
480 (set-marker (process-mark process) (point))))) | |
481 | |
482 (defun xscheme-select-process-buffer () | |
483 "Select the Scheme process buffer and move to its output point." | |
484 (interactive) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
485 (let ((process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
486 (or (get-process xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
487 (error "No scheme process")))) |
91 | 488 (let ((buffer (or (process-buffer process) (error "No process buffer")))) |
489 (let ((window (get-buffer-window buffer))) | |
490 (if window | |
491 (select-window window) | |
492 (switch-to-buffer buffer)) | |
493 (goto-char (process-mark process)))))) | |
494 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
495 ;;;; Scheme expressions ring |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
496 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
497 (defun xscheme-insert-expression (string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
498 (setq xscheme-expressions-ring (cons string xscheme-expressions-ring)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
499 (if (> (length xscheme-expressions-ring) xscheme-expressions-ring-max) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
500 (setcdr (nthcdr (1- xscheme-expressions-ring-max) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
501 xscheme-expressions-ring) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
502 nil)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
503 (setq xscheme-expressions-ring-yank-pointer xscheme-expressions-ring)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
504 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
505 (defun xscheme-rotate-yank-pointer (arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
506 "Rotate the yanking point in the kill ring." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
507 (interactive "p") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
508 (let ((length (length xscheme-expressions-ring))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
509 (if (zerop length) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
510 (error "Scheme expression ring is empty") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
511 (setq xscheme-expressions-ring-yank-pointer |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
512 (let ((index |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
513 (% (+ arg |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
514 (- length |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
515 (length xscheme-expressions-ring-yank-pointer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
516 length))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
517 (nthcdr (if (< index 0) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
518 (+ index length) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
519 index) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
520 xscheme-expressions-ring)))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
521 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
522 (defun xscheme-yank (&optional arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
523 "Insert the most recent expression at point. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
524 With just C-U as argument, same but put point in front (and mark at end). |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
525 With argument n, reinsert the nth most recently sent expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
526 See also the commands \\[xscheme-yank-pop] and \\[xscheme-yank-push]." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
527 (interactive "*P") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
528 (xscheme-rotate-yank-pointer (if (listp arg) 0 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
529 (if (eq arg '-) -1 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
530 (1- arg)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
531 (push-mark (point)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
532 (insert (car xscheme-expressions-ring-yank-pointer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
533 (if (consp arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
534 (exchange-point-and-mark))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
535 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
536 ;; Old name, to avoid errors in users' init files. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
537 (fset 'xscheme-yank-previous-send |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
538 'xscheme-yank) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
539 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
540 (defun xscheme-yank-pop (arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
541 "Insert or replace a just-yanked expression with an older expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
542 If the previous command was not a yank, it yanks. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
543 Otherwise, the region contains a stretch of reinserted |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
544 expression. yank-pop deletes that text and inserts in its |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
545 place a different expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
546 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
547 With no argument, the next older expression is inserted. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
548 With argument n, the n'th older expression is inserted. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
549 If n is negative, this is a more recent expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
550 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
551 The sequence of expressions wraps around, so that after the oldest one |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
552 comes the newest one." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
553 (interactive "*p") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
554 (setq this-command 'xscheme-yank) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
555 (if (not (eq last-command 'xscheme-yank)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
556 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
557 (xscheme-yank) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
558 (setq arg (- arg 1)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
559 (if (not (= arg 0)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
560 (let ((before (< (point) (mark)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
561 (delete-region (point) (mark)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
562 (xscheme-rotate-yank-pointer arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
563 (set-mark (point)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
564 (insert (car xscheme-expressions-ring-yank-pointer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
565 (if before (exchange-point-and-mark))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
566 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
567 (defun xscheme-yank-push (arg) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
568 "Insert or replace a just-yanked expression with a more recent expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
569 If the previous command was not a yank, it yanks. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
570 Otherwise, the region contains a stretch of reinserted |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
571 expression. yank-pop deletes that text and inserts in its |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
572 place a different expression. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
573 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
574 With no argument, the next more recent expression is inserted. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
575 With argument n, the n'th more recent expression is inserted. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
576 If n is negative, a less recent expression is used. |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
577 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
578 The sequence of expressions wraps around, so that after the oldest one |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
579 comes the newest one." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
580 (interactive "*p") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
581 (xscheme-yank-pop (- 0 arg))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
582 |
91 | 583 (defun xscheme-send-region (start end) |
584 "Send the current region to the Scheme process. | |
585 The region is sent terminated by a newline." | |
586 (interactive "r") | |
587 (if (xscheme-process-buffer-current-p) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
588 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
589 (goto-char end) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
590 (if (not (bolp)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
591 (insert-before-markers ?\n)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
592 (set-marker (process-mark (get-process xscheme-process-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
593 (point)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
594 (set-marker xscheme-last-input-end (point)))) |
91 | 595 (xscheme-send-string (buffer-substring start end))) |
596 | |
597 (defun xscheme-send-definition () | |
598 "Send the current definition to the Scheme process. | |
599 If the current line begins with a non-whitespace character, | |
600 parse an expression from the beginning of the line and send that instead." | |
601 (interactive) | |
602 (let ((start nil) (end nil)) | |
603 (save-excursion | |
604 (end-of-defun) | |
605 (setq end (point)) | |
606 (if (re-search-backward "^\\s(" nil t) | |
607 (setq start (point)) | |
608 (error "Can't find definition"))) | |
609 (xscheme-send-region start end))) | |
610 | |
611 (defun xscheme-send-next-expression () | |
612 "Send the expression to the right of `point' to the Scheme process." | |
613 (interactive) | |
614 (let ((start (point))) | |
615 (xscheme-send-region start (save-excursion (forward-sexp) (point))))) | |
616 | |
617 (defun xscheme-send-previous-expression () | |
618 "Send the expression to the left of `point' to the Scheme process." | |
619 (interactive) | |
620 (let ((end (point))) | |
621 (xscheme-send-region (save-excursion (backward-sexp) (point)) end))) | |
622 | |
623 (defun xscheme-send-current-line () | |
624 "Send the current line to the Scheme process. | |
625 Useful for working with debugging Scheme under adb." | |
626 (interactive) | |
627 (let ((line | |
628 (save-excursion | |
629 (beginning-of-line) | |
630 (let ((start (point))) | |
631 (end-of-line) | |
632 (buffer-substring start (point)))))) | |
633 (end-of-line) | |
634 (insert ?\n) | |
635 (xscheme-send-string-2 line))) | |
636 | |
637 (defun xscheme-send-buffer () | |
638 "Send the current buffer to the Scheme process." | |
639 (interactive) | |
640 (if (xscheme-process-buffer-current-p) | |
641 (error "Not allowed to send this buffer's contents to Scheme")) | |
642 (xscheme-send-region (point-min) (point-max))) | |
643 | |
644 (defun xscheme-send-char (char) | |
645 "Prompt for a character and send it to the Scheme process." | |
646 (interactive "cCharacter to send: ") | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
647 (process-send-string xscheme-process-name (char-to-string char))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
648 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
649 (defun xscheme-delete-output () |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
650 "Delete all output from interpreter since last input." |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
651 (interactive) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
652 (let ((proc (get-buffer-process (current-buffer)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
653 (save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
654 (goto-char (process-mark proc)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
655 (re-search-backward |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
656 "^;\\(Unspecified return value$\\|Value\\( [0-9]+\\)?: \\|\\(Abort\\|Up\\|Quit\\)!$\\)" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
657 xscheme-last-input-end |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
658 t) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
659 (forward-line 0) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
660 (if (< (marker-position xscheme-last-input-end) (point)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
661 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
662 (delete-region xscheme-last-input-end (point)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
663 (insert-before-markers "*** output flushed ***\n")))))) |
91 | 664 |
665 ;;;; Interrupts | |
666 | |
667 (defun xscheme-send-breakpoint-interrupt () | |
668 "Cause the Scheme process to enter a breakpoint." | |
669 (interactive) | |
670 (xscheme-send-interrupt ?b nil)) | |
671 | |
672 (defun xscheme-send-proceed () | |
673 "Cause the Scheme process to proceed from a breakpoint." | |
674 (interactive) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
675 (process-send-string xscheme-process-name "(proceed)\n")) |
91 | 676 |
677 (defun xscheme-send-control-g-interrupt () | |
678 "Cause the Scheme processor to halt and flush input. | |
679 Control returns to the top level rep loop." | |
680 (interactive) | |
681 (let ((inhibit-quit t)) | |
682 (cond ((not xscheme-control-g-synchronization-p) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
683 (interrupt-process xscheme-process-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
684 ((save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
685 (set-buffer xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
686 xscheme-control-g-disabled-p) |
91 | 687 (message "Relax...")) |
688 (t | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
689 (save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
690 (set-buffer xscheme-buffer-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
691 (setq xscheme-control-g-disabled-p t)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
692 (message xscheme-control-g-message-string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
693 (interrupt-process xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
694 (sleep-for 0.1) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
695 (xscheme-send-char 0))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
696 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
697 (defconst xscheme-control-g-message-string |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
698 "Sending C-G interrupt to Scheme...") |
91 | 699 |
700 (defun xscheme-send-control-u-interrupt () | |
701 "Cause the Scheme process to halt, returning to previous rep loop." | |
702 (interactive) | |
703 (xscheme-send-interrupt ?u t)) | |
704 | |
705 (defun xscheme-send-control-x-interrupt () | |
706 "Cause the Scheme process to halt, returning to current rep loop." | |
707 (interactive) | |
708 (xscheme-send-interrupt ?x t)) | |
709 | |
710 ;;; This doesn't really work right -- Scheme just gobbles the first | |
711 ;;; character in the input. There is no way for us to guarantee that | |
712 ;;; the argument to this procedure is the first char unless we put | |
713 ;;; some kind of marker in the input stream. | |
714 | |
715 (defun xscheme-send-interrupt (char mark-p) | |
716 "Send a ^A type interrupt to the Scheme process." | |
717 (interactive "cInterrupt character to send: ") | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
718 (quit-process xscheme-process-name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
719 (sleep-for 0.1) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
720 (xscheme-send-char char) |
91 | 721 (if (and mark-p xscheme-control-g-synchronization-p) |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
722 (xscheme-send-char 0))) |
91 | 723 |
724 ;;;; Internal Variables | |
725 | |
726 (defvar xscheme-process-command-line nil | |
727 "Command used to start the most recent Scheme process.") | |
728 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
729 (defvar xscheme-process-name "scheme" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
730 "Name of xscheme process that we're currently interacting with.") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
731 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
732 (defvar xscheme-buffer-name "*scheme*" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
733 "Name of xscheme buffer that we're currently interacting with.") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
734 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
735 (defvar xscheme-expressions-ring-max 30 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
736 "*Maximum length of Scheme expressions ring.") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
737 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
738 (defvar xscheme-expressions-ring nil |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
739 "List of expressions recently transmitted to the Scheme process.") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
740 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
741 (defvar xscheme-expressions-ring-yank-pointer nil |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
742 "The tail of the Scheme expressions ring whose car is the last thing yanked.") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
743 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
744 (defvar xscheme-last-input-end) |
91 | 745 |
746 (defvar xscheme-process-filter-state 'idle | |
747 "State of scheme process escape reader state machine: | |
748 idle waiting for an escape sequence | |
749 reading-type received an altmode but nothing else | |
750 reading-string reading prompt string") | |
751 | |
752 (defvar xscheme-running-p nil | |
753 "This variable, if nil, indicates that the scheme process is | |
754 waiting for input. Otherwise, it is busy evaluating something.") | |
755 | |
756 (defconst xscheme-control-g-synchronization-p t | |
757 "If non-nil, insert markers in the scheme input stream to indicate when | |
14016
cc69bd626089
(xscheme-control-g-synchronization-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
12866
diff
changeset
|
758 control-g interrupts were signaled. Do not allow more control-g's to be |
cc69bd626089
(xscheme-control-g-synchronization-p): Doc fix.
Karl Heuer <kwzh@gnu.org>
parents:
12866
diff
changeset
|
759 signaled until the scheme process acknowledges receipt.") |
91 | 760 |
761 (defvar xscheme-control-g-disabled-p nil | |
762 "This variable, if non-nil, indicates that a control-g is being processed | |
763 by the scheme process, so additional control-g's are to be ignored.") | |
764 | |
765 (defvar xscheme-allow-output-p t | |
766 "This variable, if nil, prevents output from the scheme process | |
767 from being inserted into the process-buffer.") | |
768 | |
769 (defvar xscheme-prompt "" | |
770 "The current scheme prompt string.") | |
771 | |
772 (defvar xscheme-string-accumulator "" | |
773 "Accumulator for the string being received from the scheme process.") | |
774 | |
775 (defvar xscheme-string-receiver nil | |
776 "Procedure to send the string argument from the scheme process.") | |
777 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
778 (defconst default-xscheme-runlight |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
779 '(": " xscheme-runlight-string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
780 "Default global (shared) xscheme-runlight modeline format.") |
91 | 781 |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
782 (defvar xscheme-runlight "") |
91 | 783 (defvar xscheme-runlight-string nil) |
784 (defvar xscheme-mode-string nil) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
785 (setq-default scheme-mode-line-process |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
786 '("" xscheme-runlight)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
787 |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
788 (mapcar 'make-variable-buffer-local |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
789 '(xscheme-expressions-ring |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
790 xscheme-expressions-ring-yank-pointer |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
791 xscheme-process-filter-state |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
792 xscheme-running-p |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
793 xscheme-control-g-disabled-p |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
794 xscheme-allow-output-p |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
795 xscheme-prompt |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
796 xscheme-string-accumulator |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
797 xscheme-mode-string |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
798 scheme-mode-line-process)) |
91 | 799 |
800 ;;;; Basic Process Control | |
801 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
802 (defun xscheme-start-process (command-line the-process the-buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
803 (let ((buffer (get-buffer-create the-buffer))) |
91 | 804 (let ((process (get-buffer-process buffer))) |
805 (save-excursion | |
806 (set-buffer buffer) | |
807 (if (and process (memq (process-status process) '(run stop))) | |
808 (set-marker (process-mark process) (point-max)) | |
809 (progn (if process (delete-process process)) | |
810 (goto-char (point-max)) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
811 (scheme-interaction-mode nil) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
812 (setq xscheme-process-name the-process) |
91 | 813 (if (bobp) |
814 (insert-before-markers | |
815 (substitute-command-keys xscheme-startup-message))) | |
816 (setq process | |
817 (let ((process-connection-type nil)) | |
818 (apply 'start-process | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
819 (cons the-process |
91 | 820 (cons buffer |
821 (xscheme-parse-command-line | |
822 command-line)))))) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
823 (if (not (equal (process-name process) the-process)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
824 (setq xscheme-process-name (process-name process))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
825 (if (not (equal (buffer-name buffer) the-buffer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
826 (setq xscheme-buffer-name (buffer-name buffer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
827 (message "Starting process %s in buffer %s" |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
828 xscheme-process-name |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
829 xscheme-buffer-name) |
91 | 830 (set-marker (process-mark process) (point-max)) |
831 (xscheme-process-filter-initialize t) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
832 (xscheme-modeline-initialize xscheme-buffer-name) |
91 | 833 (set-process-sentinel process 'xscheme-process-sentinel) |
834 (set-process-filter process 'xscheme-process-filter) | |
835 (run-hooks 'xscheme-start-hook))))) | |
836 buffer)) | |
837 | |
838 (defun xscheme-parse-command-line (string) | |
839 (setq string (substitute-in-file-name string)) | |
840 (let ((start 0) | |
841 (result '())) | |
842 (while start | |
843 (let ((index (string-match "[ \t]" string start))) | |
844 (setq start | |
845 (cond ((not index) | |
846 (setq result | |
847 (cons (substring string start) | |
848 result)) | |
849 nil) | |
850 ((= index start) | |
851 (string-match "[^ \t]" string start)) | |
852 (t | |
853 (setq result | |
854 (cons (substring string start index) | |
855 result)) | |
856 (1+ index)))))) | |
857 (nreverse result))) | |
858 | |
859 (defun xscheme-wait-for-process () | |
860 (sleep-for 2) | |
861 (while xscheme-running-p | |
862 (sleep-for 1))) | |
863 | |
864 (defun xscheme-process-running-p () | |
865 "True iff there is a Scheme process whose status is `run'." | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
866 (let ((process (get-process xscheme-process-name))) |
91 | 867 (and process |
868 (eq (process-status process) 'run)))) | |
869 | |
870 (defun xscheme-process-buffer () | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
871 (let ((process (get-process xscheme-process-name))) |
91 | 872 (and process (process-buffer process)))) |
873 | |
874 (defun xscheme-process-buffer-window () | |
875 (let ((buffer (xscheme-process-buffer))) | |
876 (and buffer (get-buffer-window buffer)))) | |
877 | |
878 (defun xscheme-process-buffer-current-p () | |
879 "True iff the current buffer is the Scheme process buffer." | |
880 (eq (xscheme-process-buffer) (current-buffer))) | |
881 | |
882 ;;;; Process Filter | |
883 | |
884 (defun xscheme-process-sentinel (proc reason) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
885 (let* ((buffer (process-buffer proc)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
886 (name (buffer-name buffer))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
887 (save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
888 (set-buffer buffer) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
889 (xscheme-process-filter-initialize (eq reason 'run)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
890 (if (not (eq reason 'run)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
891 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
892 (setq scheme-mode-line-process "") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
893 (setq xscheme-mode-string "no process") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
894 (if (equal name (default-value 'xscheme-buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
895 (setq-default xscheme-runlight "")))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
896 (if (and (not (memq reason '(run stop))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
897 xscheme-signal-death-message) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
898 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
899 (beep) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
900 (message |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
901 "The Scheme process has died! Do M-x reset-scheme to restart it")))))) |
91 | 902 |
903 (defun xscheme-process-filter-initialize (running-p) | |
904 (setq xscheme-process-filter-state 'idle) | |
905 (setq xscheme-running-p running-p) | |
906 (setq xscheme-control-g-disabled-p nil) | |
907 (setq xscheme-allow-output-p t) | |
908 (setq xscheme-prompt "") | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
909 (if running-p |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
910 (let ((name (buffer-name (current-buffer)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
911 (setq scheme-mode-line-process '(": " xscheme-runlight-string)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
912 (xscheme-modeline-initialize name) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
913 (if (equal name (default-value 'xscheme-buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
914 (setq-default xscheme-runlight default-xscheme-runlight)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
915 (if (or (eq xscheme-runlight default-xscheme-runlight) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
916 (equal xscheme-runlight "")) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
917 (setq xscheme-runlight (list ": " 'xscheme-buffer-name ": " "?"))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
918 (rplaca (nthcdr 3 xscheme-runlight) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
919 (if running-p "?" "no process"))) |
91 | 920 |
921 (defun xscheme-process-filter (proc string) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
922 (let ((xscheme-filter-input string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
923 (call-noexcursion nil)) |
91 | 924 (while xscheme-filter-input |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
925 (setq call-noexcursion nil) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
926 (save-excursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
927 (set-buffer (process-buffer proc)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
928 (cond ((eq xscheme-process-filter-state 'idle) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
929 (let ((start (string-match "\e" xscheme-filter-input))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
930 (if start |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
931 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
932 (xscheme-process-filter-output |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
933 (substring xscheme-filter-input 0 start)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
934 (setq xscheme-filter-input |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
935 (substring xscheme-filter-input (1+ start))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
936 (setq xscheme-process-filter-state 'reading-type)) |
91 | 937 (let ((string xscheme-filter-input)) |
938 (setq xscheme-filter-input nil) | |
939 (xscheme-process-filter-output string))))) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
940 ((eq xscheme-process-filter-state 'reading-type) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
941 (if (zerop (length xscheme-filter-input)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
942 (setq xscheme-filter-input nil) |
91 | 943 (let ((char (aref xscheme-filter-input 0))) |
944 (setq xscheme-filter-input | |
945 (substring xscheme-filter-input 1)) | |
946 (let ((entry (assoc char xscheme-process-filter-alist))) | |
947 (if entry | |
948 (funcall (nth 2 entry) (nth 1 entry)) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
949 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
950 (xscheme-process-filter-output ?\e char) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
951 (setq xscheme-process-filter-state 'idle))))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
952 ((eq xscheme-process-filter-state 'reading-string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
953 (let ((start (string-match "\e" xscheme-filter-input))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
954 (if start |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
955 (let ((string |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
956 (concat xscheme-string-accumulator |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
957 (substring xscheme-filter-input 0 start)))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
958 (setq xscheme-filter-input |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
959 (substring xscheme-filter-input (1+ start))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
960 (setq xscheme-process-filter-state 'idle) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
961 (if (listp xscheme-string-receiver) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
962 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
963 (setq xscheme-string-receiver |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
964 (car xscheme-string-receiver)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
965 (setq call-noexcursion string)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
966 (funcall xscheme-string-receiver string))) |
91 | 967 (progn |
968 (setq xscheme-string-accumulator | |
969 (concat xscheme-string-accumulator | |
970 xscheme-filter-input)) | |
971 (setq xscheme-filter-input nil))))) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
972 (t |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
973 (error "Scheme process filter -- bad state")))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
974 (if call-noexcursion |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
975 (funcall xscheme-string-receiver call-noexcursion))))) |
91 | 976 |
977 ;;;; Process Filter Output | |
978 | |
979 (defun xscheme-process-filter-output (&rest args) | |
980 (if xscheme-allow-output-p | |
981 (let ((string (apply 'concat args))) | |
982 (save-excursion | |
983 (xscheme-goto-output-point) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
984 (let ((old-point (point))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
985 (while (string-match "\\(\007\\|\f\\)" string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
986 (let ((start (match-beginning 0)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
987 (end (match-end 0))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
988 (insert-before-markers (substring string 0 start)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
989 (if (= ?\f (aref string start)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
990 (progn |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
991 (if (not (bolp)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
992 (insert-before-markers ?\n)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
993 (insert-before-markers ?\f)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
994 (beep)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
995 (setq string (substring string (1+ start))))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
996 (insert-before-markers string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
997 (if (and xscheme-last-input-end |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
998 (equal (marker-position xscheme-last-input-end) (point))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
999 (set-marker xscheme-last-input-end old-point))))))) |
91 | 1000 |
1001 (defun xscheme-guarantee-newlines (n) | |
1002 (if xscheme-allow-output-p | |
1003 (save-excursion | |
1004 (xscheme-goto-output-point) | |
1005 (let ((stop nil)) | |
1006 (while (and (not stop) | |
1007 (bolp)) | |
1008 (setq n (1- n)) | |
1009 (if (bobp) | |
1010 (setq stop t) | |
1011 (backward-char)))) | |
1012 (xscheme-goto-output-point) | |
1013 (while (> n 0) | |
1014 (insert-before-markers ?\n) | |
1015 (setq n (1- n)))))) | |
1016 | |
1017 (defun xscheme-goto-output-point () | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1018 (let ((process (get-process xscheme-process-name))) |
91 | 1019 (set-buffer (process-buffer process)) |
1020 (goto-char (process-mark process)))) | |
1021 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1022 (defun xscheme-modeline-initialize (name) |
91 | 1023 (setq xscheme-runlight-string "") |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1024 (if (equal name (default-value 'xscheme-buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1025 (setq-default xscheme-runlight-string "")) |
91 | 1026 (setq xscheme-mode-string "") |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1027 (setq mode-line-buffer-identification |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1028 (list (concat name ": ") |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1029 'xscheme-mode-string))) |
91 | 1030 |
1031 (defun xscheme-set-runlight (runlight) | |
1032 (setq xscheme-runlight-string runlight) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1033 (if (equal (buffer-name (current-buffer)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1034 (default-value 'xscheme-buffer-name)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1035 (setq-default xscheme-runlight-string runlight)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1036 (rplaca (nthcdr 3 xscheme-runlight) runlight) |
11565
61cdc55737fb
(xscheme-set-runlight, xscheme-set-prompt): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
9590
diff
changeset
|
1037 (force-mode-line-update t)) |
91 | 1038 |
1039 ;;;; Process Filter Operations | |
1040 | |
1041 (defvar xscheme-process-filter-alist | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1042 '((?A xscheme-eval |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1043 xscheme-process-filter:string-action-noexcursion) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1044 (?D xscheme-enter-debugger-mode |
91 | 1045 xscheme-process-filter:string-action) |
1046 (?E xscheme-eval | |
1047 xscheme-process-filter:string-action) | |
1048 (?P xscheme-set-prompt-variable | |
1049 xscheme-process-filter:string-action) | |
1050 (?R xscheme-enter-interaction-mode | |
1051 xscheme-process-filter:simple-action) | |
1052 (?b xscheme-start-gc | |
1053 xscheme-process-filter:simple-action) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1054 (?c xscheme-unsolicited-read-char |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1055 xscheme-process-filter:simple-action) |
91 | 1056 (?e xscheme-finish-gc |
1057 xscheme-process-filter:simple-action) | |
1058 (?f xscheme-exit-input-wait | |
1059 xscheme-process-filter:simple-action) | |
1060 (?g xscheme-enable-control-g | |
1061 xscheme-process-filter:simple-action) | |
1062 (?i xscheme-prompt-for-expression | |
1063 xscheme-process-filter:string-action) | |
1064 (?m xscheme-message | |
1065 xscheme-process-filter:string-action) | |
1066 (?n xscheme-prompt-for-confirmation | |
1067 xscheme-process-filter:string-action) | |
1068 (?o xscheme-output-goto | |
1069 xscheme-process-filter:simple-action) | |
1070 (?p xscheme-set-prompt | |
1071 xscheme-process-filter:string-action) | |
1072 (?s xscheme-enter-input-wait | |
1073 xscheme-process-filter:simple-action) | |
1074 (?v xscheme-write-value | |
1075 xscheme-process-filter:string-action) | |
1076 (?w xscheme-cd | |
1077 xscheme-process-filter:string-action) | |
1078 (?z xscheme-display-process-buffer | |
1079 xscheme-process-filter:simple-action)) | |
1080 "Table used to decide how to handle process filter commands. | |
1081 Value is a list of entries, each entry is a list of three items. | |
1082 | |
1083 The first item is the character that the process filter dispatches on. | |
1084 The second item is the action to be taken, a function. | |
1085 The third item is the handler for the entry, a function. | |
1086 | |
1087 When the process filter sees a command whose character matches a | |
1088 particular entry, it calls the handler with two arguments: the action | |
1089 and the string containing the rest of the process filter's input | |
1090 stream. It is the responsibility of the handler to invoke the action | |
1091 with the appropriate arguments, and to reenter the process filter with | |
1092 the remaining input.") | |
1093 | |
1094 (defun xscheme-process-filter:simple-action (action) | |
1095 (setq xscheme-process-filter-state 'idle) | |
1096 (funcall action)) | |
1097 | |
1098 (defun xscheme-process-filter:string-action (action) | |
1099 (setq xscheme-string-receiver action) | |
1100 (setq xscheme-string-accumulator "") | |
1101 (setq xscheme-process-filter-state 'reading-string)) | |
1102 | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1103 (defun xscheme-process-filter:string-action-noexcursion (action) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1104 (xscheme-process-filter:string-action (cons action nil))) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1105 |
91 | 1106 (defconst xscheme-runlight:running "run" |
1107 "The character displayed when the Scheme process is running.") | |
1108 | |
1109 (defconst xscheme-runlight:input "input" | |
1110 "The character displayed when the Scheme process is waiting for input.") | |
1111 | |
1112 (defconst xscheme-runlight:gc "gc" | |
1113 "The character displayed when the Scheme process is garbage collecting.") | |
1114 | |
1115 (defun xscheme-start-gc () | |
1116 (xscheme-set-runlight xscheme-runlight:gc)) | |
1117 | |
1118 (defun xscheme-finish-gc () | |
1119 (xscheme-set-runlight | |
1120 (if xscheme-running-p xscheme-runlight:running xscheme-runlight:input))) | |
1121 | |
1122 (defun xscheme-enter-input-wait () | |
1123 (xscheme-set-runlight xscheme-runlight:input) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1124 (setq xscheme-control-g-disabled-p nil) |
91 | 1125 (setq xscheme-running-p nil)) |
1126 | |
1127 (defun xscheme-exit-input-wait () | |
1128 (xscheme-set-runlight xscheme-runlight:running) | |
1129 (setq xscheme-running-p t)) | |
1130 | |
1131 (defun xscheme-enable-control-g () | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1132 (setq xscheme-control-g-disabled-p nil) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1133 (if (string= (current-message) xscheme-control-g-message-string) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1134 (message nil))) |
91 | 1135 |
1136 (defun xscheme-display-process-buffer () | |
1137 (let ((window (or (xscheme-process-buffer-window) | |
1138 (display-buffer (xscheme-process-buffer))))) | |
1139 (save-window-excursion | |
1140 (select-window window) | |
1141 (xscheme-goto-output-point) | |
1142 (if (xscheme-debugger-mode-p) | |
1143 (xscheme-enter-interaction-mode))))) | |
1144 | |
1145 (defun xscheme-unsolicited-read-char () | |
1146 nil) | |
1147 | |
1148 (defun xscheme-eval (string) | |
1149 (eval (car (read-from-string string)))) | |
1150 | |
1151 (defun xscheme-message (string) | |
1152 (if (not (zerop (length string))) | |
1153 (xscheme-write-message-1 string (format ";%s" string)))) | |
1154 | |
1155 (defun xscheme-write-value (string) | |
1156 (if (zerop (length string)) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1157 (xscheme-write-message-1 "(no value)" ";Unspecified return value") |
91 | 1158 (xscheme-write-message-1 string (format ";Value: %s" string)))) |
1159 | |
1160 (defun xscheme-write-message-1 (message-string output-string) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1161 (let* ((process (get-process xscheme-process-name)) |
91 | 1162 (window (get-buffer-window (process-buffer process)))) |
1163 (if (or (not window) | |
1164 (not (pos-visible-in-window-p (process-mark process) | |
1165 window))) | |
1166 (message "%s" message-string))) | |
1167 (xscheme-guarantee-newlines 1) | |
1168 (xscheme-process-filter-output output-string)) | |
1169 | |
1170 (defun xscheme-set-prompt-variable (string) | |
1171 (setq xscheme-prompt string)) | |
1172 | |
1173 (defun xscheme-set-prompt (string) | |
1174 (setq xscheme-prompt string) | |
1175 (xscheme-guarantee-newlines 2) | |
1176 (setq xscheme-mode-string (xscheme-coerce-prompt string)) | |
11565
61cdc55737fb
(xscheme-set-runlight, xscheme-set-prompt): Use force-mode-line-update.
Karl Heuer <kwzh@gnu.org>
parents:
9590
diff
changeset
|
1177 (force-mode-line-update t)) |
91 | 1178 |
1179 (defun xscheme-output-goto () | |
1180 (xscheme-goto-output-point) | |
1181 (xscheme-guarantee-newlines 2)) | |
1182 | |
1183 (defun xscheme-coerce-prompt (string) | |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1184 (if (string-match "^[0-9]+ \\[[^]]+\\] " string) |
91 | 1185 (let ((end (match-end 0))) |
42490
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1186 (xscheme-process-filter-output (substring string end)) |
0715d86d229c
Extensive changes to support multiple xscheme buffers:
Richard M. Stallman <rms@gnu.org>
parents:
33481
diff
changeset
|
1187 (substring string 0 (- end 1))) |
91 | 1188 string)) |
1189 | |
1190 (defun xscheme-cd (directory-string) | |
1191 (save-excursion | |
1192 (set-buffer (xscheme-process-buffer)) | |
1193 (cd directory-string))) | |
1194 | |
1195 (defun xscheme-prompt-for-confirmation (prompt-string) | |
1196 (xscheme-send-char (if (y-or-n-p prompt-string) ?y ?n))) | |
1197 | |
1198 (defun xscheme-prompt-for-expression (prompt-string) | |
1199 (xscheme-send-string-2 | |
1200 (read-from-minibuffer prompt-string nil xscheme-prompt-for-expression-map))) | |
1201 | |
1202 (defvar xscheme-prompt-for-expression-map nil) | |
1203 (if (not xscheme-prompt-for-expression-map) | |
1204 (progn | |
1205 (setq xscheme-prompt-for-expression-map | |
1206 (copy-keymap minibuffer-local-map)) | |
1207 (substitute-key-definition 'exit-minibuffer | |
1208 'xscheme-prompt-for-expression-exit | |
1209 xscheme-prompt-for-expression-map))) | |
1210 | |
1211 (defun xscheme-prompt-for-expression-exit () | |
1212 (interactive) | |
1213 (if (eq (xscheme-region-expression-p (point-min) (point-max)) 'one) | |
1214 (exit-minibuffer) | |
1215 (error "input must be a single, complete expression"))) | |
1216 | |
1217 (defun xscheme-region-expression-p (start end) | |
1218 (save-excursion | |
1219 (let ((old-syntax-table (syntax-table))) | |
1220 (unwind-protect | |
1221 (progn | |
1222 (set-syntax-table scheme-mode-syntax-table) | |
1223 (let ((state (parse-partial-sexp start end))) | |
1224 (and (zerop (car state)) ;depth = 0 | |
1225 (nth 2 state) ;last-sexp exists, i.e. >= 1 sexps | |
1226 (let ((state (parse-partial-sexp start (nth 2 state)))) | |
1227 (if (nth 2 state) 'many 'one))))) | |
1228 (set-syntax-table old-syntax-table))))) | |
656
d74e65773062
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
1229 |
5000 | 1230 (provide 'xscheme) |
1231 | |
656
d74e65773062
*** empty log message ***
Eric S. Raymond <esr@snark.thyrsus.com>
parents:
258
diff
changeset
|
1232 ;;; xscheme.el ends here |