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 | d5dfd349a4126324ff5fb41a2c20edf8725edda9 (patch) | |
| tree | 37d4d2599a47cf09240f58b1f32743e7d7c24b37 /elisp/geiser-plt.el | |
| parent | bf4b717791be199ce21a0c36b4b7baf3f8511f66 (diff) | |
| download | geiser-guile-d5dfd349a4126324ff5fb41a2c20edf8725edda9.tar.gz geiser-guile-d5dfd349a4126324ff5fb41a2c20edf8725edda9.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) |