//MylarPlugin.log(this, "text changed: " + event); | |
//if (javaEditingTimer == null) { | |
// javaEditingTimer = new PassiveTimer(); | |
// javaEditingTimer.restart(); | |
//} | |
//if (keystrokeTimer != null) keystrokeTimer.stop(); | |
//keystrokeTimer = new ActiveTimer( | |
// KEYSTROKE_TIMOUT, | |
// new IActiveTimerListener() { | |
// public void fireTimedOut() { | |
// MylarPlugin.getUserManager().getCurrentSession().appendToTimeJavaEditing( | |
// javaEditingTimer.getElapsedInSeconds() | |
// ); | |
// javaEditingTimer = null; | |
// } | |
// }); |