Reload: we now remember user customizations and restore them during geiser-reload.
commitd5dfd349a4126324ff5fb41a2c20edf8725edda9
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 11 Sep 2009 20:01:14 +0000 (11 22:01 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Fri, 11 Sep 2009 20:01:14 +0000 (11 22:01 +0200)
tree37d4d2599a47cf09240f58b1f32743e7d7c24b37
parentbf4b717791be199ce21a0c36b4b7baf3f8511f66
Reload: we now remember user customizations and restore them during geiser-reload.
elisp/geiser-autodoc.el
elisp/geiser-custom.el
elisp/geiser-edit.el
elisp/geiser-guile.el
elisp/geiser-impl.el
elisp/geiser-mode.el
elisp/geiser-plt.el
elisp/geiser-reload.el
elisp/geiser-repl.el