Ratel mutation input textbox does not have syntax highlighting and autoindent

[dmai (Daniel Mai)]

Are you seeing any errors in, say, the Chrome dev tools console? Normally, Ratel fetches /ui/keywords on localhost:8080 or wherever the Alpha HTTP endpoint is to get the info to do autocompletion of predicates.