Warning: file_get_contents(/data/phpspider/zhask/data//catemap/5/ember.js/4.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
如何修改my MySQL左侧导航栏的字体_Mysql_Workbench - Fatal编程技术网

如何修改my MySQL左侧导航栏的字体

如何修改my MySQL左侧导航栏的字体,mysql,workbench,Mysql,Workbench,MySQL工作台左侧导航栏上的字体太小,我看不清楚。如下图所示,如何修改字体使其看起来更好 我不相信你能做到这一点,除了将系统降低到125%或150%之外,它似乎是被硬编码的。你的意思是这是由系统缩放造成的吗?我们不能修改导航栏的字体大小。是的,我的意思是,如果你增加字体大小,如果系统也增加了,它也会增加,几乎所有的程序我都不相信你能做到,除了将系统降低到125%或150%之外,它似乎是被硬编码的。你是说这是由系统缩放造成的吗?我们不能修改导航栏的字体大小。是的,我的意思是,如果你增加字体大小,

MySQL工作台左侧导航栏上的字体太小,我看不清楚。如下图所示,如何修改字体使其看起来更好

我不相信你能做到这一点,除了将系统降低到125%或150%之外,它似乎是被硬编码的。你的意思是这是由系统缩放造成的吗?我们不能修改导航栏的字体大小。是的,我的意思是,如果你增加字体大小,如果系统也增加了,它也会增加,几乎所有的程序我都不相信你能做到,除了将系统降低到125%或150%之外,它似乎是被硬编码的。你是说这是由系统缩放造成的吗?我们不能修改导航栏的字体大小。是的,我的意思是,如果你增加字体大小,系统也会增加,就像几乎所有的程序一样