Mercurial > libervia-desktop
diff service/main.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 | cd99f70ea592 |
children | 834d5c267219 |