[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC] Removing pushy mouse key assignment from gtags.el.
From: |
Shigio YAMAGUCHI |
Subject: |
Re: [RFC] Removing pushy mouse key assignment from gtags.el. |
Date: |
Wed, 19 Jan 2011 22:45:12 +0900 |
> If users have complained about the mouse only, then it might be best not=
>
> to link mouse and keyboard shortcuts in the same variable but have
> instead a simple way to disable mouse bindings only.
>
> > o All the assignment of mouse key is abolished.
>
> Assuming there is a custom toggle for mouse bindings, then I wish they
> are still enabled by default. Otherwise all new users will miss and
> never know about this great feature. Those who do not like them
> will for sure instinctively think about customization when looking for
> a simple way to disable them.
What you say is justifiable. I seem to have forgotten beginner's standpoint.
Additionally, your method is simple and will cause less confusion.
I changed the plan as follows.
o New custom variable 'gtags-disable-pushy-mouse-mapping' is added.
If this variable is set, then all mouse key mappings are not done.
The other key mapping remains before.
[$HOME/.emacs]
+------------------------------------------------
|(setq gtags-mode-hook
| '(lambda ()
| (setq gtags-disable-pushy-mouse-mapping t)
|))
What do you think?
--
Shigio YAMAGUCHI <address@hidden>
PGP fingerprint: D1CB 0B89 B346 4AB6 5663 C4B6 3CA5 BBB3 57BE DDA3