javascript for ace editor