The code is open source so if you have interest it would be somewhat straight forward to make the UI show different colors, although there is no output format for anything other than GBDK at the moment.