web-animations/web-animations-tools — pull request #79 by barmstro (2014-01-31 06:51:01+00:00)
Title: Made some wat-ace-editor properties customisable

Once I make the menu I can hide these options away so they don't sit there all the time looking ugly. :P