1. Have <Ctrl><Tab> switch the focus between a number of gui elements, including the index tab, the toc tab and the content page, but possibly more. Right now <Ctrl><Tab> cycles focus between some elements, but to be honest, it is not quite clear to me how. Keep <Ctrl><Space> switching only between index and content pane.
2. Have a generic navigation short cut followed by a second specific key. For example <Ctrl><g> ("go to") <i> ("index"), <Ctrl><g> ("go to") <t> ("table of contents"), <Ctrl><g> ("go to") <c> ("content"). This could be expanded for in-page navigation (that's another feature request, I guess). For example: <Ctrl><g> ("go to") <j> ("next heading"), <Ctrl><g> ("go to") <k> ("previous heading") and so on. I realize <Ctrl><g> is already in use, but it illustrates the idea.
To aid the user the "go to" could conceivably even have a small widget, like the "find" widget, that expands where to go to ("go to", pressing "i" expands to "index", etc). Then one could have <Ctrl><g> ("go to") <p> ("page"), start typing the page name with automatic completion in the widget text box. And now I stop this flood of ideas.
Two ideas:
1. Have <Ctrl><Tab> switch the focus between a number of gui elements, including the index tab, the toc tab and the content page, but possibly more. Right now <Ctrl><Tab> cycles focus between some elements, but to be honest, it is not quite clear to me how. Keep <Ctrl><Space> switching only between index and content pane.
2. Have a generic navigation short cut followed by a second specific key. For example <Ctrl><g> ("go to") <i> ("index"), <Ctrl><g> ("go to") <t> ("table of contents"), <Ctrl><g> ("go to") <c> ("content"). This could be expanded for in-page navigation (that's another feature request, I guess). For example: <Ctrl><g> ("go to") <j> ("next heading"), <Ctrl><g> ("go to") <k> ("previous heading") and so on. I realize <Ctrl><g> is already in use, but it illustrates the idea.
To aid the user the "go to" could conceivably even have a small widget, like the "find" widget, that expands where to go to ("go to", pressing "i" expands to "index", etc). Then one could have <Ctrl><g> ("go to") <p> ("page"), start typing the page name with automatic completion in the widget text box. And now I stop this flood of ideas.