private void installUndoRedo() {
// TODO(?): Hook into the page's undo-redo system? If we do that we must
// remember to clear all edits originating from the formula builder when
// the formula builder is closed.
TextUndoRedoControllerFactory f = UndoRedoControllers.textFactory();
undoRedo = f.newController(getUi().getExpressionArea().getTextPane());
undoRedo.alwaysConsumeKeyboardTriggers();
}
};
overlay.setFillOut();
overlay.setTitleStyle(TextStyles.DefaultBold);