the api docs of the ace editor