Fix editor tabs, I think.

bug 102:closed