diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2021-01-04 14:53:58 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2021-01-04 14:53:58 +0100 |
commit | 71303ede1a2c589e1935231f998510cead7e6062 (patch) | |
tree | b4e8607c38ffe0b4b787adfeff9a7aee7960c6f0 | |
parent | fc29fb7d6d43e1d3d59db608cca46de7fe6bc692 (diff) |
Use "_" as pcase placeholder.
-rw-r--r-- | guile-studio.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guile-studio.el b/guile-studio.el index e9d8e6b..db05cb3 100644 --- a/guile-studio.el +++ b/guile-studio.el @@ -443,7 +443,7 @@ with the " (define-key menu (vector 'lookup-documentation) '("Show documentation". geiser-doc-symbol-at-point)) menu) - (t + (_ (mouse-menu-major-mode-map))))) (global-set-key (vector 'mouse-3) |