|
Editor Scheme Plugin
|
By Ollie Rutherfurd
oliver@rutherfurd.net
|
Introduction
Editor Scheme Plugin allows one to easily switch between saved sets of color
and style combinations (Schemes) used in jEdit. An easy way to save the
current set of properties as a new scheme is also built-in.
Description
The Editor Scheme plugin adds two new actions to jEdit.
- New Editor Scheme: Saves the current set of colors/styles in use to '{user.home}.jedit/schemes/{scheme-name}.jedit-scheme'
- Editor Scheme Selector: Displays available color/style schemes, and allows you to select one for use. Note: '(Current Scheme)' is the scheme in use when the dialog is opened.
To Do
- Toggling of bold & italic attributes, as some fonts are painted incorrectly when some elements use bold or italics.
- Way to delete schemes.
- Scheme repository?
Feedback
Please send questions, comments, or any schemes you wish to share to:
Ollie Rutherfurd <oliver@rutherfurd.net>
Change Log
- version 0.2
- removed Java 2 specific methods.
- provided schemes loaded from jar.
- Schemes can be updated from current properties.
- minor UI tweaks (read-only vs 'normal' schemes).
- couple schemes added.
- version 0.1