Menu

Commit [r1507]  Maximize  Restore  History

BugFix: update all fields of current session line in session switcher

upon file save.

brunoherbelin 2017-12-02

changed /trunk/src/SessionSwitcherWidget.cpp
/trunk/src/SessionSwitcherWidget.cpp Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB