Menu

Commit [r183]  Maximize  Restore  History

Fixed issue #225

"Changing the background of the editor is not possible"

numere 2017-07-20

changed /trunk/editor/editor.cpp
changed /trunk/editor/history.cpp
changed /trunk/gui/wxterm.cpp
/trunk/editor/editor.cpp Diff Switch to side-by-side view
Loading...
/trunk/editor/history.cpp Diff Switch to side-by-side view
Loading...
/trunk/gui/wxterm.cpp Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB