收藏
回答

微信开发者工具编辑器的默认字体是啥

问题模块 框架类型 问题类型 操作系统 工具版本
开发者工具 小程序 需求 Windows 1.01.1805150

一不小心修改了字体,代码缩进全乱了,也不知道原来字体是那个,也没恢复默认字体的选项。

望告知默认字体是多少!

最后一次编辑于  2018-12-20  (未经腾讯允许,不得转载)
回答关注问题邀请回答
收藏

3 个回答

  • 拾忆
    拾忆
    2018-12-20

    我这边看的是这个


    2018-12-20
    赞同 1
    回复 1
    • 天天
      天天
      2018-12-20

      非常感谢!

      2018-12-20
      回复
  • 肥嘟嘟
    肥嘟嘟
    08-15

    字体按顺序排下来,我下拉出来的顺序看,就是没有consolas这个字体....各位大神那里找到的?


    08-15
    赞同
    回复 2
    • 天天
      天天
      08-15


      08-15
      回复
    • 肥嘟嘟
      肥嘟嘟
      08-15回复天天

      额....是因为我的版本问题?算了,设置个看的顺眼的字体吧...实在找不着...


      08-15
      回复
  • Rocky
    Rocky
    2018-12-27

    怎么改成这个字体啊?我不小心修改了,后面没有这个字体了

    2018-12-27
    赞同
    回复 3
    • 天天
      天天
      2018-12-27

      有的,仔细找找

      2018-12-27
      回复
    • 肥嘟嘟
      肥嘟嘟
      08-15回复天天
      你找到了吗?我没找到之前的那个默认字体....
      08-15
      回复
    • 天天
      天天
      08-15回复肥嘟嘟
      有的,找到了
      08-15
      回复