Lior Silberman wrote:
> On Thu, 18 Jan 2001, Pavel Cizek wrote:
>
> [snip]
> > My idea was to have a simple tool to move around documents, not a
> > complicated and slow-to-use bookmark system ala MS Word. That is, for
> > example: I am writing some proof and I would like to check or modify
> > something written in other part of the text (e.g., assumption
> > section). With bookmarks available, press a keyboard shortcut for
> > setting a bookmark; then move around, make changes, whatever...; press
> > a keyboard shortcut to return to the previously set bookmark.
> >
> [snip]
> > Pavel Cizek
>
> It seems you want to be able to set a single bookmark, and then get there
> with a keypress. This bookmark can be easily moved (just set it somewhere
> else).
>
> The discussion seems to focus on adding/adapting support for multiple
> bookmarks you can cycle through with a keypress, so you have to
> explicitely remove them when you don't need them (or by closing the file).
>
> Which of the two is preferable ?
>
> Lior.
Let me think a bit. I understand that people would prefer a more general
solution (multiple named bookmark). I prefer multiple-bookmark support (it gives
more power to users), but only if some functionality of the single-bookmark
system is preserved. To be more specific:
- bookmarks should not be persistent. If they are formed as an inset in a
document (and have to be erased manually), they should not be stored with the
document - otherwise, they would accumulate quickly if user does not always
erase them and/or they are not forgotten automatically after closing the
document.
- there should be a way to go quickly (without any dialog) to, let say, the last
created bookmark in the document. Thus, you can set a new bookmark and later
return to it without bothering yourself with some GUI. Such a system can be, for
example, implemented so that LyX automatically adds a number to the name of
every bookmark and then there is a command "to go to the bookmark with the
highest number = last one placed" (the number can simply become a part of the
bookmark name "number: name", it just will not be editable by users).
- if it is not too hard, I would prefer to keep current Notes as they are -
persistent Notes that can be used to place own comment and remarks regarding a
document for later revisions by the author. The navigation "Go to next Note" is,
indeed, sufficient for this kind of "Notes" use.
Thanks for your attention
Pavel Cizek
