xcode - 如何在 Xcode 4 Navigator 中更改字体大小？

Question

在 XCode3 中有一个编辑一些库文件的解决方法，有没有办法改变 Xcode 4 Project Navigator 的字体大小？

Tinker Tool 也无济于事。