【问题标题】:How to change application font size in brackets如何更改括号中的应用程序字体大小
【发布时间】:2021-08-20 17:06:23
【问题描述】:

如何更改括号中的应用程序字体大小?

我想改变很小的编辑器侧边菜单、菜单栏、底部栏和标题栏的字体大小。 [ctrl] + [+] 只会改变编辑器的字体大小。

【问题讨论】:

    标签: font-size adobe-brackets


    【解决方案1】:

    临时修复

    文件 -> 扩展管理器 -> 搜索“UI 太小” 并添加扩展以使字体变大。

    了解更多详情 - https://github.com/adobe/brackets/issues/8059。 修复此问题的工作正在进行中,并将在下一个版本中修复。跟踪进度 - https://trello.com/c/WRhZ0xvj/969-high-dpi-support-on-windows-and-linux


    在我的情况下,这对某些人来说已经解决了,用户界面的响应速度并不快。因此等待新版本。

    【讨论】:

      【解决方案2】:

      正如 Shanika 建议的那样,“UI 太小”允许您控制侧边/菜单 fontSize 的大小,但它不响应 Ctr + 或 -。

      尽管如此,您仍然可以通过直接更改 Brackets->extensions->user->ui-too-small->main.js 下的 main.js 或单击菜单帮助然后显示扩展文件夹,然后单击 user/ui-too-small 下的 main.js 来手动执行此操作。

      打开main.js,在font-size: 22px中修改你想要的fontSize

      【讨论】:

        【解决方案3】:

        现在是 5/2019,这仍然是个问题。

        问题于 2014 年开放。

        想想,有一种流行的代码编辑器,即使你想增加非常小的文件树的字体大小,你也不能没有扩展名(UI太小)。
        很奇怪。

        【讨论】:

          【解决方案4】:

          您可以更改 ui-too-small 插件的设置 对于 windows 槽: 帮助 > 显示扩展文件夹 > 导航到用户 > 导航到 ui 太小 > 打开 main.js

          我个人喜欢以下设置(材质设计):

              define(function (require, exports, module) {
                  "use strict";
          
              ExtensionUtils.addEmbeddedStyleSheet("#sidebar *, #main-toolbar *, #titlebar *, #problems-panel *,"+
              "#find-in-files-results *, #e4b-main-panel *, #status-bar *,"+
              "#main-toolbar *, #context-menu-bar *, #codehint-menu-bar *,"+
              "#quick-view-container *, #function-hint-container *  { font-size: 16px !important;"+
              " line-height: 30px !important; }"+
              ".sidebar li { min-height: 30px !important;}"+
              ".sidebar-selection, .filetree-selection { min-height: 30px !important; margin-top: 5px;}"+
              ""+".jstree-icon{margin-top:10px !important} .filetree-selection-extension{margin-top: 5px; height: 30px !important;} .jstree-rename-input{ margin-top: 2px !important; height: 30px !important;   padding-bottom: 0px !important;} "
              );
              });
          

          【讨论】:

            猜你喜欢
            • 2020-01-19
            • 2017-03-06
            • 2020-10-20
            • 1970-01-01
            • 2012-05-11
            • 2021-07-03
            • 1970-01-01
            • 2011-09-03
            • 1970-01-01
            相关资源
            最近更新 更多