>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
| Patches attached. I won't apply this GRef until someone loves the | addition to ControlRef enough to commit it (I only have write access | to frontends/gtk, I think). Lars> Is it not possible to do this without changes to ControlRef? I am not sure I understand the feature and why it is desirable. Could you describe when the 0 bookmark is set and when it is not? JMarc
