tree 82286b96d64f39795b9635d9b8c1c2a199d887e4
parent 163b1b3f9e0935ab99ca0b8f4016d558de345266
author Stephan Wahlbrink <sw@wahlbrink.eu> 1601290539 +0200
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1601293268 +0200

[SourceEditor] Fix NPE in InfoHoverRegistry when settings changed

Change-Id: I8d96b9a29a33b82594dba55ee40c8eb482473f89