Here’s a sneak peek at a reorganized theme editor, moving a few things around to fix long-standing usability problems. When it’s ready (next week?) should be much easier to do quick edits without a bunch of clicks through managing themes.