>>>>> "Alfredo" == Alfredo Braunstein <[EMAIL PROTECTED]> writes:
Alfredo> Jean-Marc Lasgouttes wrote: >> In a web browser, bookmarks do not appear on the pages that I >> see... OTOH, it would be nice to have a nice window showing part of >> the text when I want to select bookmarks. And also to have >> bookmarks that load Alfredo> Should be easy to implement in the menu, à la "Paste Recent", Alfredo> no? Even better would be to have a Navigation popup, where you could switch from a list of sections, figures, errors, bookmarks, labels or even open documents. Or even this could be turned into a sidebar like in mozilla... I like the idea of having a common interface to all these navigation tasks. JMarc
