bug-global
[Top][All Lists]
Advanced

[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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]