> Even if it were on by default and we used this method of disabling it, it > would mean less of a footprint on the GUI for people who didn't use it, > and that could be a good thing. If I am thinking this through correctly, > it would mean that instead of a user variable 'hints_information', we > would have a global mode that enabled the binding. Modes are > stylistically nice. Better to use a stylesheet, alone or in a theme, than > to use the element.style method on every minibuffer-input, I think, > because it's a simple thing to register/unregister a stylesheet.
Agreed. I particularly like the idea of using a global mode; it's analogous to overlink_mode for mouse selection. Regards, David _______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
