|
| From: | Stefan Kangas |
| Subject: | bug#46926: Remove the quotes from highlighted/linked symbols when displaying docs |
| Date: | Mon, 15 Mar 2021 21:37:00 -0500 |
Dmitry Gutov <dgutov@yandex.ru> writes: > We add the option, announce it, and in 2-4 weeks ask people for their > opinion based on their experience with the changed UI. Sounds good to me. IOW, it would follow a similar procedure to the one we used for "M-o".
| [Prev in Thread] | Current Thread | [Next in Thread] |