Re: [RFC] Removing pushy mouse key assignment from gtags.el.

[Shigio YAMAGUCHI]

>  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