diff wk.py @ 296:d1e7f4c35afd

Frontend code cleanup, optimization, and remembering the menu state.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 28 Sep 2014 23:24:44 -0700
parents 2dd7535045eb
children
line wrap: on
line diff