private void storeSourceSelectionState() {
   mySourceSelectionState.put(getEditorText(), getSelectionState());
 }