ancient dipydoc/dipydocsyntagmas.* files have been splitted between dipydoc/notes.* and dipydoc/syntagmas.*
Merge branch 'feature114' into dev
Ancient dipydoc/dipydocsyntagmas.* files have been splitted between dipydoc/notes.* and dipydoc/syntagmas.* .
updated README
improved SourceEditor::paintEvent() speed
improved SourceEditor::paintEvent() speed
SourceEditor class : various speed improvements
fixed the bug in PosInTextRanges::medium()
Merge branch 'feature115' into dev
Various speed improvements; fixed a critical bug preventing the correct display of the arrows.