歡迎來到Linux教程網
Linux教程網
Linux教程網
Linux教程網
Linux教程網 >> Linux基礎 >> Linux教程 >> 在Ubuntu 14.04上安裝JEdit 5.2 Pre版

在Ubuntu 14.04上安裝JEdit 5.2 Pre版

日期:2017/2/28 14:24:14   编辑:Linux教程

jEdit是一款用Java寫的為程序員設計的編輯器。它使用Swing來設計GUI並且能通過使用其插件將之配置為一個強大的IDE。jEdit提供超過200種文件格式的語法高亮的原生支持,也支持通過XML手動指定其它格式。它支持UTF-8及許多其它的編碼格式。



功能:

  • Combines the best functionality of Unix, Windows and MacOS text editors.
  • Runs on any operating system with a Java 1.6 or higher virtual
  • machine – this includes MacOS X, Linux, Unix, VMS and Windows.
  • Efficient keyboard shortcuts for everything, with predefined keymaps for Emacs, Intellij IDEA, and Mac OSX (5.0)
  • Comprehensive online help
  • Unlimited undo/redo
  • Copy and paste with an unlimited number of clipboards (known as “registers”)
  • Register contents are saved across editing sessions
  • “Kill ring” automatically remembers previously deleted text
  • Rich set of keyboard commands for manipulating entire words, lines and paragraphs at a time
  • “Markers” for remembering positions in files to return to later
  • Marker locations are saved across editing sessions
  • Any number of editor windows may be open, each window may be split into several areas, each area can view a different file and keep track of an independent set of buffers. Alternatively, different locations in one file can be viewed in more than one area
  • Multiple open windows and split windows are remembered between editing sessions
  • Rectangular selection
  • Multiple selection (sometimes known as “discontinuous” or “additive” selection) for manipulating several chunks of text at once
  • Word wrap


最新的5.2Pre1版修正了許多bug並引入了許多新特性,其中一些如下:

  • Fixed Whole word search
  • Fixed the systray not added on EDT thread
  • Fix the integration with Unity and other Linux Desktop Environments, broken by patch
  • Reload optionally dependent plugins when a plugin is unloaded
  • Applied patch #513 (Makarius), plus some additional cleanup of setting the look and feel
  • Fixed a bug in pluginmanager: transitive deps not installed when filtering
  • Fix java installer bug: Installing from jedit5.1.0install.jar failure
  • jEdit now depends on Java 1.7
  • Focus the text area when scroll bar is clicked
  • Selecting line from gutter should move caret
  • Fix for the scroll click suppression
  • Important speedup of LogViewer
  • Support for shortcuts to “copy” the error in Error widget


安裝JEdit 5.2Pre1

- 安裝Java

sudo apt-get purge openjdk*
sudo add-apt-repository ppa:webupd8team/java
sudo apt-get update
sudo apt-get install Oracle-java7-installer
sudo apt-get install oracle-java7-set-default

安裝JEdit

wget 'http://sourceforge.net/projects/jedit/files/jedit-devel/5.2pre1/jedit_5.2pre1_all.deb/download' --output-document=jedit_5.2pre1_all.deb

sudo dpkg -i jedit_5.2pre1_all.deb

jedit

更多Ubuntu相關信息見Ubuntu 專題頁面 http://www.linuxidc.com/topicnews.aspx?tid=2

點擊這裡查看原文

譯者:FreeBird

本文由 Linux公社翻譯組 原創翻譯 Linux公社 誠意奉獻

Copyright © Linux教程網 All Rights Reserved