Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
In jEdit 2.3final, I renamed jEdit.setDefaultProperty() to
jEdit.setTemporaryProperty() to make it's purpose more clear.
The old method is still available, but it is marked
@deprecated and will be removed in 2.4pre1.