gui: add a Properties page