diff wk.py @ 304:11d9d8ae8696

Frontend: Add some padding even when the menu is collapsed for the icon.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 04 Oct 2014 21:01:07 -0700
parents 2dd7535045eb
children
line wrap: on
line diff