add unicode input key binding, and restric other bindings by selecting only editors with clas .agda