FinnStutzenstein 678a56db08 Do not reload all projector elements on every autoupdate (fixes #3259).		2017-06-01 15:01:24 +02:00
..
core	Do not reload all projector elements on every autoupdate (fixes #3259).	2017-06-01 15:01:24 +02:00