Properly disconnect the cursorPositionChanged signal when a navigation widget does not want to be closed when the text cursor moves

REVIEW: 119214