on.keychord_press = function(chord, key) assert(#Editors > 0) if chord == 'C-0' then initialize_editors( --[[font height]] 20, Editors[1].filename, Editors[1].screen_top1) elseif chord == 'C-=' then initialize_editors(Editors[1].font_height+2, Editors[1].filename, Editors[1].screen_top1) elseif chord == 'C--' then initialize_editors(Editors[1].font_height-2, Editors[1].filename, Editors[1].screen_top1) else edit.keychord_press(Editors[1], chord, key, --[[readonly]] true) resync_editors() end end