I pushed most of the patch (with some changes) in revision r4208. It wasn't immediately clear what you were fixing in the files key search, however. If you can extract that to a separate bug so it can be evaluated on its own, that would be most convenient.
As a sidenote, some of the shortcuts don't seem to work... like Alt-C . I don't know if I really like the idea of the panels taking up shortcuts anyways.. probably should have a more general purpose mechanism to do this.
I pushed most of the patch (with some changes) in revision r4208. It wasn't immediately clear what you were fixing in the files key search, however. If you can extract that to a separate bug so it can be evaluated on its own, that would be most convenient.
As a sidenote, some of the shortcuts don't seem to work... like Alt-C . I don't know if I really like the idea of the panels taking up shortcuts anyways.. probably should have a more general purpose mechanism to do this.