Ruben 53f7deae85 Restore Plugin Toolbar Button Tooltips (#2833) ...

* Always set button tooltips
* Completely remove name property and replace it with tooltips
* Make tooltips final

2018-05-19 19:59:01 +02:00

..

src

Restore Plugin Toolbar Button Tooltips (#2833)

2018-05-19 19:59:01 +02:00

pom.xml

Update substance to 8.0.02

2018-05-19 15:13:22 +02:00