StatDialog.show();
} else {
Timer timer = null;
if (Timing.isEnabled()) {
Timing.enterScope();
Timing.setScopeValue(ExecutionTree.class, new ExecutionTree());
timer = Timing.start("Key event dispatch");
}
try {
// Only respond to key events on the body element. Otherwise, the key
// event was probably targeted to some editable input element, and that