Menu ▾ ▴

Code Commit Log


Commit Date  
[r1549] by brunoherbelin

Improved behavior of Source Edit Dialog: enabling renaming of source, no more different case for GPU Plugin source.

 2017-12-31 19:30:31 Tree
[r1548] by brunoherbelin

Minor GUI cosmetics.

 2017-12-31 14:19:32 Tree
[r1547] by brunoherbelin

Fixed Catalog view icon dripping.

 2017-12-31 13:25:11 Tree
[r1546] by brunoherbelin

Minor GUI cosmetics.

 2017-12-31 12:54:14 Tree
[r1545] by brunoherbelin

Changed Tab Widget of Mixing Toolbox into a line of buttons to improve appearance.

 2017-12-31 12:25:33 Tree
[r1544] by brunoherbelin

Improved GUI for cursors, added a reset value button.

 2017-12-31 11:30:09 Tree
[r1543] by brunoherbelin

BugFix; mixing toolbox status connected to stanby of current source.

 2017-12-30 20:05:00 Tree
[r1542] by brunoherbelin

GUI improvement in consideration of new colors Tags.

 2017-12-30 19:12:19 Tree
[r1541] by brunoherbelin

Fix commit 1537

 2017-12-29 20:50:19 Tree
[r1540] by brunoherbelin

Changed color of selection to match with selected colors of Tags.

 2017-12-29 18:35:41 Tree
Older >
MongoDB Logo MongoDB