+function Hotkey(code) {
+ this.code = code
+ this.has_alt = ((code & 0x01 << 8) != 0)
+ this.has_ctrl = ((code & 0x01 << 9) != 0)
+ this.has_shift = ((code & 0x01 << 10) != 0)
+ this.character = String.fromCharCode(code & 0xff)
+}
+
+
+Hotkey.prototype.toString = function() {
+ mods = []
+ if(this.has_alt) mods.push('Alt')
+ if(this.has_ctrl) mods.push('Ctrl')
+ if(this.has_shift) mods.push('Shift')
+ mods.push('"'+this.character+'"')
+ return mods.join('+')
+}
+