On Jun 1, 2012 7:56 PM, "John J. Foerch" <[email protected]> wrote: > > On Wed, May 30, 2012 at 08:13:02PM +0300, Nicholas Ochiel wrote: > > In a previous thread, a chop-mode for hints had been discussed. What > > I'm wondering is if it might be possible to narrow the list of > > displayed hints as input is received (the way the HoK plugin for > > Keysnail does it in firefox > > https://github.com/mooz/keysnail/blob/master/plugins/hok.ks.js) i.e. > > if the following hints are displayed: 100,200,300 then typing 2 causes > > 100 and 300 to disappear completely leaving only hints whose numbers > > begin with "2", in this case "200". When the page is crowded with > > hints, such a feature is particularly useful. > > > > P.S. If this had been discussed previously, do forgive me. > > Nice idea. Could maybe be added as an option. Suggestions for variable > name, anybody?
hints_narrow_selection?
_______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
