2019-06-22 | Daniel Kirschten | Changed interface of GUIComponent.getPins() | blob | commitdiff | raw |
2019-06-18 | Fabian Stemmler | Merge branch 'development' of https://gitlab.lrz.de... | blob | commitdiff | raw | diff to current |
2019-06-18 | Daniel Kirschten | Improved rendering quality for speedup | blob | commitdiff | raw | diff to current |
2019-06-06 | Daniel Kirschten | More speedup | blob | commitdiff | raw | diff to current |
2019-06-06 | Daniel Kirschten | More rendering speedup | blob | commitdiff | raw | diff to current |
2019-06-06 | Daniel Kirschten | Sped up rendering | blob | commitdiff | raw | diff to current |
2019-06-05 | Fabian Stemmler | Merge branch 'development' of https://gitlab.lrz.de... | blob | commitdiff | raw | diff to current |
2019-06-05 | Daniel Kirschten | Renamed drawComponent to renderComponent | blob | commitdiff | raw | diff to current |
2019-06-03 | Daniel Kirschten | Improved rendering: | blob | commitdiff | raw | diff to current |