joewalker/devtools-window — pull request #194 by harthur (2012-11-13 09:02:00+00:00)
Title: Port current toolbox theme to Windows and Linux, fix for issue #139

Having trouble with try server and building on a VM, but this should do it. Can anyone with a Linux or Windows build try this?