fr.inria.tea.ssme.texteditor
Classes
SignalEditorConfiguration
SignalEditorScanner
TextPlugin