diff cagou/core/menu.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 c7d15ef4bfa8
children e42e0c45d384
line wrap: on
line diff