jEdit Plugin Central is the primary online repository of plugins for the jEdit text editor. In conjunction with this repository, the integrated Plugin Manager allows jEdit users to install, upgrade, and remove plugins without leaving the editor.
dds a new text object: indent. This selects lines with a common indent (very useful for editing Python code).
dds a new text object: indent. This selects lines with a common indent (very useful for editing Python code).
dds a new text object: indent. This selects lines with a common indent (very useful for editing Python code).
dds a new text object: indent. This selects lines with a common indent (very useful for editing Python code).
This plugin hasn't been released since 2005 and there have been two themes added and some bug fixes since then.
This plugin hasn't been released since 2005 and there have been two themes added and some bug fixes since then.
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
