diff cagou/core/xmlui.py @ 201:45a3392b9d26

plugin file sharing: use density independant pixels for Menu
author Goffi <goffi@goffi.org>
date Fri, 25 May 2018 11:52:56 +0200
parents 8ed389d15690
children 37638765c97b
line wrap: on
line diff