diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-10-23 10:10:47 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-10-23 14:33:30 +0200 |
| commit | 406c01777a72123219197591c5153eb8142c5935 (patch) | |
| tree | c52074eb0663a8455940b6b20ab36de16f9a7670 | |
| parent | 68a5cc91d09144f0e6cffbbfd02d994c457154a9 (diff) | |
Use arrow in Geiser autodoc.
| -rw-r--r-- | guile-studio-configure.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guile-studio-configure.scm b/guile-studio-configure.scm index a6f3e54..08afaff 100644 --- a/guile-studio-configure.scm +++ b/guile-studio-configure.scm @@ -41,7 +41,7 @@ '(,(string-append picture-language "/share/guile/site/2.2/"))) - (setq geiser-autodoc-identifier-format "%s ~ %s") + (setq geiser-autodoc-identifier-format "%s → %s") (setq geiser-default-implementation 'guile initial-major-mode 'scheme-mode inhibit-splash-screen t |