tree ab4fb2b450078ec16471a7a638dc99257edcd6bd
parent 36ae21930fe8903746547b1f179d40be1dfa8707
parent 76dd8d328ec4a72f6d33a71d9fdb895154fff28c
author Helge <stallkamp@ids-mannheim.de> 1532080457 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1532080457 +0200

Merge "Add listeners for plugin management on first established widget and remove listeners when no widget is available any longer."