IMHO bookmark has nothing to do with BufferView nor LyXView but with Buffer. Especially so if these bookmarks are persistent. A bookmark should work with any LyXView or BufferView.
Is there a way to call LyxView::setBuffer from BufferView? If we can emit a signal from restorePosition, at least the problem I mentioned can be fixed. Bo