Hum, then it is probably better to put it inside moveToPosition(), isn't it?
Yes, although moveToPosition is used to update bookmarks when a buffer is closed, so no change of font is needed in that case. (It does not matter though.) Also, I reopened the bug for the reason described in bugzilla. Bo
