[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[RFC] The end of the default mouse key mapping in gtags.el. (again)
From: |
Shigio YAMAGUCHI |
Subject: |
[RFC] The end of the default mouse key mapping in gtags.el. (again) |
Date: |
Fri, 24 Jun 2011 07:50:47 +0900 |
Hi all,
I would like to end the default mouse key mapping of gtags.el.
Last time, I did the decision to continue the mapping. But I came to think
that it is a crime to make a lot of seniors spend time.
Though it is important to consider beginners, it was a mistake to make
a distorted specification for that. Beginners are not kings at all.
I would like to change gtags.el like follows:
o No default mouse key mapping in gtags-mode and gtags-select-mode.
o If gtags-suggested-key-mapping is true, the current mouse key mapping is
available.
What do you think?
--
Shigio YAMAGUCHI <address@hidden>
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [RFC] The end of the default mouse key mapping in gtags.el. (again),
Shigio YAMAGUCHI <=