Tue, 11 Oct 2011 12:07:04 +0200 laurent Fixing bug in RessourceEditor with highlighting