在Ubuntu 14.04上安装JEdit 5.2 Pre版

jEdit是一款用Java写的为程序员设计的编辑器。它使用Swing来设计GUI并且能通过使用其插件将之配置为一个强大的IDE。jEdit提供超过200种文件格式的语法高亮的原生支持,也支持通过XML手动指定其它格式。它支持UTF-8及许多其它的编码格式。

在Ubuntu 14.04上安装JEdit 5.2 Pre版



功能:

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 14.04上安装JEdit 5.2 Pre版

更多Ubuntu相关信息见Ubuntu 专题页面 ?tid=2

点击这里查看原文

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:http://www.heiqu.com/17005.html