ninja-ide/ninja-ide — Issue #111: Improve Editor plugin signals
Author: diegosarmentero
Created: 2011-12-21 12:26:55+00:00
State: open

Improve keyPressEvent signal for plugins to send one before the key and after the key event