Fix #717 by only updating the name widget when necessary
authorSoeren Apel <soeren@apelpie.net>
Tue, 29 Dec 2015 22:15:19 +0000 (23:15 +0100)
committerUwe Hermann <uwe@hermann-uwe.de>
Wed, 30 Dec 2015 22:15:52 +0000 (23:15 +0100)

No differences found