On Mon, Feb 20, 2012 at 10:01:45PM +1030, David Kettler wrote: > > 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
I'm thinking it would actually be two modes, because there has to be one mode to provide the general mechanism of minibuffer annotation, and a second one specific to hinting. The general one would enable the xbl binding, and the hinting-specific one would would do what hints_information does now. The hinting-specific one would automatically enable the general one as needed. Sound right? -- John Foerch _______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
