Menu

Commit [r739]  Maximize  Restore  History

Fixes for implementation of ticket #522

numere 2020-06-11

changed /trunk/gui/editor/editor.cpp
changed /trunk/gui/editor/searchcontroller.cpp
/trunk/gui/editor/editor.cpp Diff Switch to side-by-side view
Loading...
/trunk/gui/editor/searchcontroller.cpp Diff Switch to side-by-side view
Loading...