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 <[email protected]> PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3 _______________________________________________ Bug-global mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-global
