首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >编辑本地jsbin

编辑本地jsbin
EN

Stack Overflow用户
提问于 2013-06-29 09:16:03
回答 1查看 151关注 0票数 0

我有一个本地版本的jsbin,我想能够样式化,因为字体比在线版本大得多。有谁知道我可以在哪里找到这些文件,如果它们在我的计算机上,以便我可以调整字体大小?

谢谢,

抢夺

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2014-03-07 09:30:33

您可以打开web控制台并输入...

jsbin.settings.font = 12;

...or任何你想要的字体大小!默认值是14。请查看CodeMirror上的文档;他们在这方面对我帮助很大。http://codemirror.net/doc/manual.html#config

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/17375746

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档