core - Revision 18242: /branches/3149_ModalIntervals/HeuristicLab.CodeEditor