Merge requests · Software / ArmarX / ArmarXGui

WIP: Statechart sanity checker

!27 · created Sep 07, 2016 by Mirko Wächter
updated Jul 04, 2018
Made Treemodel interactive + made ScenarioList changable without reloading

!26 · created Aug 30, 2016 by Cedric Seehausen
- Merged
- 1
updated Oct 05, 2016
Transition functions

!25 · created Aug 26, 2016 by Mirko Wächter
- Merged
- 1
updated Aug 30, 2016
Gui plugin caching

!24 · created Jul 13, 2016 by Mirko Wächter
- Merged
updated Oct 05, 2016
Scenario manager fixes

!23 · created Jul 07, 2016 by Cedric Seehausen
- Merged
- 2
updated Oct 05, 2016
Gui use cases

!22 · created Jul 03, 2016 by Mirko Wächter
- Merged
updated Oct 05, 2016
Parameterized dragn drop

!21 · created Jul 03, 2016 by Mirko Wächter
- Merged
- 2
updated Oct 05, 2016
Added favourite opened Scenarios

!20 · created Jun 30, 2016 by Cedric Seehausen
- Merged
- 3
updated Oct 05, 2016
ScenarioModelFix + ScenarioListView filter fix + ScenarioCommonLib renaming

!19 · created Jun 29, 2016 by Cedric Seehausen
- Merged
updated Oct 05, 2016
Required properties are now optional again

!18 · created Jun 24, 2016 by Cedric Seehausen
- Merged
updated Oct 05, 2016
ScenarioManager fixes

!17 · created Jun 22, 2016 by Cedric Seehausen
- Merged
- 1
updated Oct 05, 2016
fixes for warnings from Wpedantic Wall Wextra

!16 · created Jun 16, 2016 by Raphael Grimm
- Merged
updated Oct 05, 2016
Add documentation on how to document gui plugins

!15 · created Jun 10, 2016 by Clemens Wallrath
- Merged
updated Oct 05, 2016
remove .orig files

!14 · created Jun 10, 2016 by Clemens Wallrath
- Merged
updated Oct 05, 2016
replaced user defined sequences of basic types with ice sequence types

!13 · created Jun 06, 2016 by Raphael Grimm
- Merged
updated Oct 05, 2016
Fixed app first time loading bug

!12 · created May 27, 2016 by Cedric Seehausen
- Merged
- 1
updated Oct 05, 2016
ScenarioManagerPlugin CLI split patch

!11 · created May 24, 2016 by Cedric Seehausen
- Merged
- 6
updated Oct 05, 2016
Fixed ScenarioManagerTests

!10 · created May 24, 2016 by Cedric Seehausen
- Merged
updated May 24, 2016
added tooltips in clockwidget

!9 · created May 23, 2016 by Mirko Wächter
- Merged
updated May 23, 2016
Fix in StateTreeController for logDirs

!8 · created May 19, 2016 by GitLab Importer
- Merged
updated May 19, 2016