workspace: FIXME use 16x16 for the tab size
authorAndrew Chadwick <andrewc-git@piffle.org>
Fri, 8 Nov 2013 16:55:29 +0000 (16:55 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Sun, 5 Jan 2014 20:17:43 +0000 (20:17 +0000)
commit3286397d81d72a3055a82181d62f1b91376f26e1
tree8c37fa50ae3dacf3a0b1de3b8bb82202552fbd67
parent3efe5d0d30fe62d9a2fc0c7c670b98cc017830be
workspace: FIXME use 16x16 for the tab size

Some of the icons used here will be symbolic.
gui/workspace.py