Gadget request for WikisourceEdit

I copied your request from wikitech-l to Gadget_kitchen/Requests#Colour-coded_character_sets_in_edit_box and hope this was in your interest. You might want to add that page to your watchlist. HTH, --Tim Landscheidt 13:34, 15 April 2012 (UTC)