Menu

Commit [r1528]  Maximize  Restore  History

Deselect session in switcher on new session.

brunoherbelin 2017-12-26

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