LightTable:更改Julia代码字体和console中字体

在用LT做Julia的IDE, 其中会有一个麻烦的地方，对于新使用者来讲，不是方便的，就是字体的设置。

（1）代码的字体设置

在 user.behaviors文件中设置。以例说明：

--------------------------------------

:editor [:lt.objs.editor/wrap
(:lt.objs.style/set-theme "default")
(:lt.objs.editor/fold-gutter)
(:lt.objs.editor/highlight-current-line)
(:lt.objs.tabs/set-width-final! "2")
(:lt.plugins.match-highlighter/enable)
(:lt.objs.editor/scroll-past-end)
(:lt.objs.editor.file/preserve-line-endings)
(:lt.objs.style/font-settings "my-font" "18" "1.1")
:lt.objs.editor/scroll-past-end]

-----------------------------------------------

其中：(:lt.objs.style/font-settings "my-font" "18" "1.1") 这行就是专设置代码字体的。

（2）在显示console字体中，并不在user.behaviors中进行设置。

而是在 "....\core\css\skins\new_dark.css”, 以我为例，在

“F:\相关软件\lightTable\LightTable\core\css\skins\new_dark.css” 文件中。

请找到：大约文件122行位置：

原文：

.console > li, .console td { color:var(accent-foreground); }

替换为：

.console > li, .console td { color:var(accent-foreground); font-size: 15pt !important;}

就可以了，当然字体大小，自己进行具体设置。我用的是15，感觉20以上的字体就太大。

但需重启后生效！

LightTable:更改Julia代码字体和console中字体相关推荐

javaee设置字体大小_eclipse中字体大小怎么设置 eclipse设置字体大小的方法
eclipse中字体大小怎么设置呢?本节内容中小编就为大家带来eclipse设置字体大小的方法,感兴趣的朋友可以了解一下哦! eclipse设置字体大小的方法小伙伴1这样建议: 重装了系统,我一般都 ...
css中的代码图标,认识CSS中字体图标(示例代码)
前端之HTML,CSS(十一) 字体图标使用文字做出小图标的效果并超越了小图标应用精灵图,使得图标变得灵活,减少了请求次数,优化了界面的性能.字体图标本身为矢量图. 字体图标的使用过程 1.UI设计 ...
DataGrip 用鼠标控制Query console中字体缩放大小
点击 File -> Setting -> Editor -> General 下进行设置,如图 Change font size with Ctrl+Mouse Wheel 勾选前 ...
Visio中的字体对应Word中字体字号
最近在使用Visio做流程图时,发现其中的字号与word不一样.Visio中的字体大小使用pt表示. pt是字体单位.全称为point,中文为"点",常见于软件设计.排版印刷行业. ...
html和word中字体对应
1.开发中需要使用freemarker导出word,需要前端人员写html模板,在开发中遇到了word中字体和css中字体对应的问题,经过试验如下: word字字号 word字体值(pt) Css字体 ...
字体单位 html,CSS字体单位
一.前言在CSS样式中,当文本缩放的时候使用font-size属性是最难以理解的方面之一.在CSS中,你有4种不同的选择,能够让你设置文本在浏览器中的展示.那么这4种单位哪一种更适合呢?这个问题引发 ...
ios 自定义字体_如何仅用几行代码在iOS应用中创建一致的自定义字体
ios 自定义字体 by Yuichi Fujiki 藤木雄一 In this article, you'll learn how to create a unified custom look th ...
html字体颜色 html中设置字体颜色代码字体颜色获取
html字体颜色 html中设置字体颜色代码字体颜色获取 html字体颜色设置更改,html设置字体颜色代码方法有哪些 DIVCSS5为大家介绍在html中设置字体颜色方法,字体颜色修改方法,字体颜 ...
php网页代码字体颜色设置,html和css中字体颜色设置的相关总结
网页中颜色的运用是网页必不可少的一个元素.使用颜色目的在于有区别.有动感.美观之用,同时颜色也是各种各样网页的样式表现元素之一,所以在我们的日常开发中不管是前端还是后端都离开不字体颜色,那么我们今天就 ...
python对excel数据更改_利用python对excel中一列的时间数据更改格式代码示例
本篇文章小编给大家分享一下利用python对excel中一列的时间数据更改格式代码示例,文章代码介绍的很详细,小编觉得挺不错的,现在分享给大家供大家参考,有需要的小伙伴们可以来看看. 问题场景:需要将 ...

LightTable:更改Julia代码字体和console中字体

LightTable:更改Julia代码字体和console中字体相关推荐

最新文章

热门文章