Menu ▾ ▴

Code Commit Log


Commit Date  
[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
[r1539] by brunoherbelin

Validated implementation of Tags and TagsManager. Now available by default.

 2017-12-29 18:18:49 Tree
[r1538] by brunoherbelin

Fix previous commit

 2017-12-29 17:58:48 Tree
[r1537] by brunoherbelin

Disable Mixing Toolbox for sources in Standby: this prevents changing plugins & Shadertoy which does not operate if the source is in stanby (not updating).

 2017-12-28 22:24:40 Tree
Older >
MongoDB Logo MongoDB