gferon/cide — Issue #4: Console widget focus issue
Author: gferon
Created: 2012-02-05 14:55:54+00:00
State: open

When the focus is on the console widget, everything works fine. However, there's no way to give the focus back to Ace without explicitely typing 'disable' in the console.