gui: add a Properties page
authorNiki Roo <niki@nikiroo.be>
Thu, 14 Mar 2019 21:10:08 +0000 (22:10 +0100)
committerNiki Roo <niki@nikiroo.be>
Thu, 14 Mar 2019 21:10:08 +0000 (22:10 +0100)

No differences found