Daniel 02786f4801 Fix #552 -- Add icon to expansible panels (#560) ...

* Ref #552 -- Add icon to expansible panels

Offer informative feedback to user by showing icons to indicate
expansible panels.

* Fix wrongly removed JavaScript line

2017-07-17 12:29:47 +02:00

..

ui

Fix #552 -- Add icon to expansible panels (#560)

2017-07-17 12:29:47 +02:00