On Mon, Sep 27, 2010 at 10:49 AM, John J. Foerch <[email protected]> wrote: > > 1) Have a key that toggles page-modes. > > This is is sort of a throw-the-baby-out-with-the-bathwater idea that > isn't so good in practice, because it would disable an entire page-mode > instead of just the keymaps. Also isn't forward-compatible with the idea > of splitting up page-modes.
I don't have any ideas for an elegant solution, but this seems the most natural to me. However, when I'm on a page that uses pagemode (like gmail), I know for sure I'll be using keybindings from that page in 99% of the keypresses. Hence, solution 2.1 is probably the most practical in that I use it so infrequently. Vinh _______________________________________________ Conkeror mailing list [email protected] https://www.mozdev.org/mailman/listinfo/conkeror
