Plugin-PropertyVis merge requests
https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-PropertyVis/-/merge_requests
2018-08-07T06:43:55Z
https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-PropertyVis/-/merge_requests/2
WIP: Vector vis: add stroke width param
2018-08-07T06:43:55Z
Martin Heistermann
WIP: Vector vis: add stroke width param
WIP: need to emit updatedObject()
WIP: need to emit updatedObject()
Martin Heistermann
Martin Heistermann
https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-PropertyVis/-/merge_requests/22
unite latest improvements
2021-01-30T14:37:04Z
David Bommes
unite latest improvements
https://gitlab.vci.rwth-aachen.de:9000/OpenFlipper-Free/Plugin-PropertyVis/-/merge_requests/27
minor change for addition of icons in view mode window
2022-11-25T15:07:21Z
Edwin Özdemir
minor change for addition of icons in view mode window
Jan Möbius
moebius@cs.rwth-aachen.de
Jan Möbius
moebius@cs.rwth-aachen.de