hi carmen,
i tried to work on devel_0_39 again ... saw your extended use of colors ...
since it makes patches pretty unreadable, i'd propose to remove it for the first time... i'd like to have all these fancy colors as an optional feature only, but not as default appearance of devel ...
anyway, if you adapt your patch to easily customize the gui, i'll include it into devel again ...
cheers ... tim