lib/ace.ext.keys.js
function toUnicode(charCode) {
    var result = charCode.toString(16).toUpperCase();
    while (result.length < 4) result = '0' + result;
    return '\\u' + result;
}
function toUnicode(charCode) {
    var result = charCode.toString(16).toUpperCase();
    while (result.length < 4) result = '0' + result;
    return '\\u' + result;
}
function toUnicode ( charCode ) { var result = charCode . toString ( 16 ) . toUpperCase ( ) ; while ( result . length < 4 ) result = '0' + result ; return '\\u' + result ; }
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- eventing stuff -=-=-=-=-=-=-=-
- = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - = - eventing stuff - = - = - = - = - = - = - = -