you can add something like https://github.com/ajaxorg/ace/blob/master/lib/ace/mode/lua.js#L51-L52 for ctrl-/ to work