jEdit

5 Document about plugin home api - ID: 3483218

Last Update: Settings changed ( ezust )

Details:

Plugin home api should be documented in the jEdit help, chapter 18:
Writing a plugin / The property file?

Submitted:

Matthieu Casanova ( kpouer ) - 2012-02-02 06:25:52 PST

Priority:

Status:

Closed

Resolution:

Fixed

Assigned:

Alan Ezust

Category:

documentation

Group:

None

Visibility:

Public

Date: 2012-02-28 16:06:33 PST Sender: ezust Committed rev# 21229, so the docs now are updated. I was unable to find the sourcecode for QuickNotePad in subversion so I have not made changes to that.
Date: 2012-02-02 12:22:16 PST Sender: mf3 There should be a line plugin.QuickNotepadPlugin.usePluginHome=true in the code of Chap.18 / The Property File. Apparently, the Property is also missing in the Quicknotepad props file.
Date: 2012-02-02 11:58:46 PST Sender: daleanson It's in Chapter 19, Plugin Tips and Techniques., the section titled "Storing plugin data".
Date: 2012-02-02 11:47:37 PST Sender: jarekczek It is described somewhere. I remember reading about it recently.

Field	Old Value	Date	By
status_id	Pending	2012-02-28 16:07:02 PST	ezust
allow_comments	1	2012-02-28 16:07:02 PST	ezust
close_date	2012-02-28 16:06	2012-02-28 16:07:02 PST	ezust
status_id	Open	2012-02-28 16:06:33 PST	ezust
resolution_id	None	2012-02-28 16:06:33 PST	ezust
close_date	-	2012-02-28 16:06:33 PST	ezust