teeworlds/teeworlds — pull request #1251 by cinaera (2014-07-29 14:38:47+00:00)
Title: Editor: Add variables to customize editor colors

This is related to https://github.com/teeworlds/teeworlds/issues/790