[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41905: Small change: In Customize, display name with with spaces, bu
|
From: |
ej32u |
|
Subject: |
bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath. |
|
Date: |
Wed, 17 Jun 2020 03:23:30 +0000 |
Hello,
This patch changes custom-unlispify-menu-entry to display symbols names with the "display" text property, but to keep the symbol name underneath. This is good when using try-expand-dabbrev-all-buffers, such as when writing the init file.
Thank you.
diff.txt
Description: Text document
- bug#41905: Small change: In Customize, display name with with spaces, but keep symbol name underneath.,
ej32u <=