void () { if (!isValid()) return; Editor editor = openTextEditor(true); Segment marker = getFirstSegment(); if (marker != null) { editor.getSelectionModel().setSelection(marker.getStartOffset(), marker.getEndOffset()); } }