diff pui-prefs-window.ui @ 3:2fa34d6272c6

Add menu item to launch the preferences application
author Guido Berhoerster <guido+pui@berhoerster.name>
date Wed, 13 Jun 2018 23:25:09 +0200
parents 2f04ec9e0506
children 3d72ca76538d
line wrap: on
line diff