Pierre Courtieu pierre.court...@cnam.fr writes:
Since double hit terminator is more or less an alternative to electric
terminator, I have put them side by side in coq menu, to see if people
OK, I thought double hit would modify the behavior of electric
terminator.
like it, but I did
Hi,
I just noticed that there are a view boolean settings in the Coq
menu which are not done via defpacustom and which are therefore
not in the Settings submenu. Is there a reason, why Toggle
tooltips, Electric Terminator and Double Hit Electric
Terminator are not in the Settings submenu?
It
2012/11/13 Hendrik Tews t...@os.inf.tu-dresden.de:
Hi,
I just noticed that there are a view boolean settings in the Coq
menu which are not done via defpacustom and which are therefore
not in the Settings submenu. Is there a reason, why Toggle
tooltips, Electric Terminator and Double Hit