Texlive + TexStudio + Language Tool Win7配置
Texlive的配置很简单,安装的时候跟着向导一步一步安装就可以了。
TexStudio也是同样的安装过程,没什么技巧。这里提一下界面颜色的配置。习惯了暗底白字,所以就google了一下相关的配置,大多给出的是颜色配置的代码。代码的使用也十分简单,先在TexStudio里面保存一下Current Settings,然后找到你所保存的配置文件,用文本编辑器打开,找到颜色配置的位置,用google到的代码替换掉就ok了。
Language Tool是TexStudio支持的一个语法检查工具,需要JRE 7的支持。安装好JRE 7,解压好Language Tool之后就可以配置了。这里我下载的是Language Tool For Desktop。在TexStudio->Options->Configure->Grammar页面中的Language Tool的框框中填好路径信息:
LT : C:/Program Files (x86)/LanguageTool-2.5/languagetool.jar
Java: C:/Program Files (x86)/Java/jre7/bin/java.exe
这样就可以运行了。
在我初次配置Language Tool的时候出了一点小问题,配置好之后,语法检查并没有按照我预想中的工作。解决过程如下。
通过在浏览器中输入:
http://localhost:8081/?language=en&text=my+text
可以判断Language Tool的服务是否打开。
在命令行中输入:
java -cp "C:\Program Files (x86)\LanguageTool-2.3\languagetool-server.jar" org.languagetool.server.HTTPServer --port 8081
同时打开TexStudio,此时你在文本中如果键入或删除文字,在cmd窗口中可以看到TS和LT的通信,如果你前面的配置是正确的话。
在cmd中发现通信正常后,确信了我之前的配置是正确的。
后来仔细观察发现原来LT检查出来的语法错误是用蓝色下划线标注的,而我的背景正好是蓝色orz。
问题成功解决。
下面是几个有帮助的问题和回复:
http://wiki.languagetool.org/checking-la-tex-with-languagetool
http://tex.stackexchange.com/questions/155148/installing-language-tool-in-texstudio
http://sourceforge.net/p/texstudio/bugs/872/
Texlive + TexStudio + Language Tool Win7配置的更多相关文章
- Language Tool ,a plugin for TeXStudio
Language Tool ,a plugin for TeXStudio TexStudio supports LanguageTool as an inline grammar checker. ...
- Installing Language Tool in TexStudio
This is a recent and more detailed solution for Windows users. Make sure the last version of TeXstud ...
- win7配置iis 出现:HTTP 错误 403.14 - Forbidden
打开 IIS 管理器. 在“功能”视图中,双击“目录浏览”. 在“目录浏览”页上,在“操作”窗格中单击“启用”. 确认站点或应用程序配置文件中的 configuration/system.webSer ...
- 在eclipse中,使用spring tool suite配置spring环境
本人第一次接触spring,在经过一天的努力之后,终于成功配置了spring环境. 使用spring tool suite配置 1.打开eclipse,选择help->Eclipse marke ...
- win7 配置Windows Update 失败,还原更改,无法进入系统
win7 配置Windows Update 失败,还原更改,无法进入系统 win7 系统安装好后,忘记了需要关闭自动更新,某天自动更新补丁安装失败,进入下图状态,无法进入正常系统. 解决方案一:使用+ ...
- 00-01.PHP 网站假设win7配置自己的IIS服务器亲自做的图文很详细 [转 - 赞 ]
win7配置自己的IIS服务器亲自做的图文很详细 分步阅读 跟人网站爱好初学者必看的win7系统配置自己的IIS,可以在你自己的电脑上配置网站服务器发不到网上,下面就跟着我的步骤一起做吧100%成功. ...
- win7 配置微软的深度学习caffe
win7 配置微软的深度学习caffe 官方下载: https://github.com/Microsoft/caffe 然后 直接修改caffe目录下的windows目录下的项目的props文件 ...
- win7配置flutter报错 运行flutter doctor报错及解决方法
先按照官方文档进行配置 win10下按照flutter官方文档进行部署flutter 基本没有任何问题 win7情况下 按照官方文档操作后 前面也都可以正常进行 直到 win7下运行flutter d ...
- NXP S32V eiq_auto tensorflow offline tool 环境配置
NXP S32V eiq_auto tensorflow offline tool 环境配置 完成cnn模型eiq移植的第一步 1.安装conda 下载.sh bash Anaconda3-5.3.1 ...
随机推荐
- Servlet,过滤器,监听器,拦截器的区别
1.过滤器 Servlet中的过滤器Filter是实现了javax.servlet.Filter接口的服务器端程序,主要的用途是过滤字符编码.做一些业务逻辑判断等.其工作原理是,只要你在web.xml ...
- JAVA CyclicBarrier类详解
一个同步辅助类,它允许一组线程互相等待,直到到达某个公共屏障点 (common barrier point).在涉及一组固定大小的线程的程序中,这些线程必须不时地互相等待,此时CyclicBarrie ...
- vue2入坑随记(一)
都说Vue2简单,上手容易,但小马过河,自己试了才晓得,除了ES6语法和webpack的配置让你感到陌生,重要的是思路的变换,以前随便拿全局变量和修改dom的锤子不能用了,变换到关注数据本身.vue的 ...
- 调用Live555接收RTSP直播流,转换为Http Live Streaming(iOS直播)协议
Live555接收RTSP直播流,转换Http Live Streaming(iOS直播)协议 RTSP协议也是广泛使用的直播/点播流媒体协议,之前实现过一个通过live555接收RTSP协议,然后转 ...
- Bootstrap实现轮播图
第一步:设计轮播图容器:div.carousel,添加slide平滑切换,并定义id,方便后面采用data属性来触发 <div class='carousel slide' id="t ...
- .NET中webservice如何使用,调用
webservice 只是"面向服务"编程的一种方式,现在把所有的方式都合在一起,就叫做WCF,,,,,, 1.创建 webservice服务,在web项目中添加"web ...
- CCS Debug Assertion Failed
下载安装CCS7.1后编译工程时报错,如下: 本来以为这种情况是由于CCS没有安装成功所导致的,但尝试安装其他版本时也发生同样的问题. 于是登录到 TI的wiki 上查找原因,在安装栏下说明: Ens ...
- springboot 获取hibernate 的 SessionFactory
注入bean package cn.xiaojf; import cn.xiaojf.today.data.rdb.repository.RdbCommonRepositoryImpl; import ...
- 1.Java第一课:初识java
今天也算是正式地开始学习Java了,一天学的不是太多,旨在入门了解Java.还好现在学的都是基础,也能赶得上进度,希望以后能一直保持这种精神状态坚持学下去.下面就简单来说说今天所学的内容吧. 1计算机 ...
- 解决相关css基础问题
//html代码 <div class="operateWays"> <label> <input type="radio" na ...