An error occurred fetching the project authors.
- 03 May, 2016 1 commit
-
-
Cedric Roux authored
no deadlock should be possible as of the current state of things. When the textlist's lock is set the GUI lock is never on. Let's cross fingers that things don't change crazily in the future...
-
- 02 May, 2016 3 commits
-
-
Cedric Roux authored
-
Cedric Roux authored
-
Cedric Roux authored
when too much data has been sent to the text list view, way too much GUI processing is done, let's batch-process the changes and then tell the GUI that something has changed
-
- 29 Apr, 2016 1 commit
-
-
Cedric Roux authored
-
- 28 Apr, 2016 1 commit
-
-
Cedric Roux authored
introducing generic "view" with two instantiations: stdout and textlist
-