void restorePosition(unsigned int i);
/// does the given bookmark have a saved position ?
bool isSavedPosition(unsigned int i);
void restorePosition(unsigned int i);
/// does the given bookmark have a saved position ?
bool isSavedPosition(unsigned int i);
/// return the parent language of the given inset
Language const * getParentLanguage(Inset * inset) const;
/// return the parent language of the given inset
Language const * getParentLanguage(Inset * inset) const;