diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-09-11 22:01:14 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2009-09-11 22:01:14 +0200 |
| commit | 3265bb3b50c1199586205fab0febfdf0b91c3c2b (patch) | |
| tree | e4049cfc17e514428a198b00f69a4dfc5db81c5b /elisp/geiser-plt.el | |
| parent | d6ebefe0eb609c813adeba9075200cbc4f0d8947 (diff) | |
| download | geiser-3265bb3b50c1199586205fab0febfdf0b91c3c2b.tar.gz geiser-3265bb3b50c1199586205fab0febfdf0b91c3c2b.tar.bz2 | |
Reload: we now remember user customizations and restore them during geiser-reload.
Diffstat (limited to 'elisp/geiser-plt.el')
| -rw-r--r-- | elisp/geiser-plt.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/elisp/geiser-plt.el b/elisp/geiser-plt.el index ab194b7..86073e5 100644 --- a/elisp/geiser-plt.el +++ b/elisp/geiser-plt.el @@ -25,7 +25,7 @@ "Customization for Geiser's PLT flavour." :group 'geiser) -(defcustom geiser-plt-binary +(geiser-custom--defcustom geiser-plt-binary (cond ((eq system-type 'windows-nt) "MzScheme.exe") ((eq system-type 'darwin) "mzscheme") (t "mzscheme")) @@ -33,12 +33,12 @@ :type '(choice string (repeat string)) :group 'geiser-plt) -(defcustom geiser-plt-collects nil +(geiser-custom--defcustom geiser-plt-collects nil "A list of paths to be added to mzscheme's collection directories." :type '(repeat file) :group 'geiser-plt) -(defcustom geiser-plt-init-file "~/.plt-geiser" +(geiser-custom--defcustom geiser-plt-init-file "~/.plt-geiser" "Initialization file with user code for the mzscheme REPL." :type 'string :group 'geiser-plt) |