MiguelCastillo/Brackets-Themes — pull request #18 by dbratcher (2013-07-29 02:52:28+00:00)
Title: Timer

I implemented the basic functionality. There are still a lot of things that need to be done however. I'm doing a ton of bad things stylistically, and currently ignore the timersEnabled preference altogether. Also I'd like the themes box to auto-populate with a nice drop down, but it seems like you can have multiple themes at once at times so that might be awkward ui wise.