used antialiasing in SourceEditor::paintEvent() to draw arrows
Merge branch 'feature116' into dev
Use antialiasing in SourceEditor::paintEvent() to draw arrows.
hide level(up/down) buttons
Merge branch 'feature117' into dev
Hide level(up/down) buttons.
fixed a bug in UI::go() : trananslations are now loaded if debug=0
Merge branch 'feature118' into dev
Fixed a bug in UI::go() : trananslations are now loaded if debug=0 .
added 'haut-marnais' to the known languages
Merge branch 'feature119' into dev
Added 'haut-marnais' to the known languages.