/** This operation is run after doing the refactoring. */ public void doAfterRefactoring() { WranglerUtils.notifyErlide(getChangedFiles()); }
/** Sets back the initial Erlide selection */ public void resetSelection() { WranglerUtils.highlightSelection( initianlSelection.getSelectionRange().getOffset(), initianlSelection.getSelectionRange().getLength(), initianlSelection); }