文章详情

  • 游戏榜单
  • 软件榜单
关闭导航
热搜榜
热门下载
热门标签
php爱好者> php文档>使用gedit-latex-plugin编辑tex文件

使用gedit-latex-plugin编辑tex文件

时间:2009-07-28  来源:zhiyizhi

1. add in your /etc/apt/sources.list the following:
  deb http://ftp.tw.debian.org/debian sid main
 
  And renew it by
  $ sudo apt-get update
2. $ sudo apt-get install gedit-latex-plugin

3. Open gedit, and
    Edit->Preferences->Plugins  check the option  "LaTeX Plugin..."
4. 然后你可以根据需要对插件进行属性设置,比如要启用反向搜索,可以在第3步时点击“Configure LaTeX Plugin“ -> Tools-> LaTeX 然后选择 DVI (Source Specials),点击Properties,选择 Command,然后在下拉菜单中选择:xdvi -unique...
5. 可以用gedit的Tools->LaTeX->DVI(Source Specials),或者用快捷键Ctrl+Alt+5进行预览,然后用Ctrl+鼠标左键实现反向搜索。

Remark: 如果需要使用环境自动补全功能,只要使用Ctrl+Alt+E即可,比如
\begin{document}
...
...
现在环境document结束,需要输入环境结束的语句,此时只要按Ctrl+Alt+E,系统就会自动补全为
\end{document}
相关阅读 更多 +
排行榜 更多 +
宝宝切水果安卓版

宝宝切水果安卓版

休闲益智 下载
儿童脑筋急转弯

儿童脑筋急转弯

休闲益智 下载
袭击现场2

袭击现场2

飞行射击 下载