tree 89346eb13ed0a78301984744ee59dfd21ff7c7a6
parent 0825ca4eac7477e4ba1b3c64e2e3854f454ff2dd
author Michael Keppler <Michael.Keppler@gmx.de> 1572004610 +0200
committer Michael Keppler <Michael.Keppler@gmx.de> 1572004610 +0200

Avoid animated scrollbars during extension point list refresh

This is one more place where changing the filter leads to scrollbars
growing/shrinking. Suppress the graphical update until finished, as in
other places.

Change-Id: I392f94dac8da9de09fc3726449f4bb8bcd4ff2df
Signed-off-by: Michael Keppler <Michael.Keppler@gmx.de>