joewalker/devtools-window — pull request #218 by harthur (2012-11-14 03:42:56+00:00)
Title: Update Windows and Linux theme, fix for #139

Was PR #194, but added some commits.

Ports the toolbox's current theme to Windows and Linux.