The 'Property' feature is implemented by at least 8 methods [show/hide]
The implementation of the Property feature highly depends on the following code elements:
org.gjt.sp.jedit.jEdit (class)
org.gjt.sp.jedit.jEdit.props (field)
All the methods involved in implementing Property are a member of org.gjt.sp.jedit.jEdit class.
All but one of the methods (7/8) involved in implementing Property call a method that accesses org.gjt.sp.jedit.jEdit.props field.