package mmrnmhrm.ui.editor;
import org.eclipse.swt.events.VerifyEvent;
import _org.eclipse.dltk.internal.ui.editor.BracketInserter2;
import _org.eclipse.dltk.internal.ui.editor.ScriptEditor;
public class DeeBracketInserter extends BracketInserter2 {
public DeeBracketInserter(ScriptEditor editor) {
super(editor);
}
@Override
public void verifyKey(VerifyEvent event) {
// early pruning to slow down normal typing as little as possible
if (!event.doit
|| this.editor.getInsertMode() != ScriptEditor.SMART_INSERT)
return;
switch (event.character) {
case '(':
case '<':
case '[':
case '\'':
case '\"':
break;
default:
return;
}
// TODO DTLK DeeBracketInserter
}
}