gui: code cleanup for properties
authorNiki Roo <niki@nikiroo.be>
Fri, 22 Mar 2019 18:18:18 +0000 (19:18 +0100)
committerNiki Roo <niki@nikiroo.be>
Fri, 22 Mar 2019 18:18:18 +0000 (19:18 +0100)

No differences found