Warning: file_get_contents(/data/phpspider/zhask/data//catemap/8/xcode/7.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
如何在Xcode 4 Navigator中更改字体大小?_Xcode_Xcode4 - Fatal编程技术网

如何在Xcode 4 Navigator中更改字体大小?

如何在Xcode 4 Navigator中更改字体大小?,xcode,xcode4,Xcode,Xcode4,在XCode3中,有一个变通方法可以编辑一些库文件,有没有可能改变Xcode4项目导航器的字体大小 Tinker工具也没有帮助。可能的重复我可以使用Tinker工具调整大多数Gui的字体,但不能使用Navigator。解决方案?对此的答案将是一个巨大的否定。

在XCode3中,有一个变通方法可以编辑一些库文件,有没有可能改变Xcode4项目导航器的字体大小


Tinker工具也没有帮助。

可能的重复我可以使用Tinker工具调整大多数Gui的字体,但不能使用Navigator。解决方案?对此的答案将是一个巨大的否定。