showFormulaBuilder(node, result);
}
}
private void installFocusKeyBindings() {
KeyBindingInstaller bindings = new KeyBindingInstaller(this, WHEN_IN_FOCUSED_WINDOW);
bindings.addBinding(KeyUtils.getAltDown(KeyEvent.VK_S), "focus-source", new FocusTreeComponentAction(m_sourceTreeComponent));
bindings.install();
// We do not install ALT-T for the target tree, since that conflicts with the
// mnemonic for the top-level Transformation menu. To quickly go to the target
// tree: ALT-S to focus the source tree, then TAB to move to the target tree.
}