jedit-devel Mailing List for jEdit

---

** [plugin-bugs:#1904] SFTP: Unable to browse web.sourceforge.net/home/project-web/jedit/htdocs**

**Status:** open
**Group:** 
**Labels:** FTP Plugin 
**Created:** Thu May 31, 2018 01:53 AM UTC by Alan Ezust
**Last Updated:** Thu May 31, 2018 01:53 AM UTC
**Owner:** nobody


Following the instructions here, I am unable to edit the web content of the jEdit project with jEdit 5.5 + ftp plugin.


https://sourceforge.net/p/forge/documentation/Project%20Web%20Services/#connection-settings

Activity log:
6:52:50 PM [AWT-EventQueue-0] [debug] ConnectionManager: Passwords saved: 16
6:52:50 PM [AWT-EventQueue-0] [debug] ConnectionManager: Passphrases saved: 2
6:52:50 PM [jEdit Worker #1] [debug] ConnectionManager: Thread[jEdit Worker #1,6,jEdit Workers]: Connecting to sftp://web.sourceforge.net:22
6:52:50 PM [AWT-EventQueue-0] [debug] EditBus: ViewUpdate[what=VIEW_ACTIVATED,source=org.gjt.sp.jedit.View[active]]
6:52:50 PM [AWT-EventQueue-0] [debug] jEdit: checkBufferStatus for all buffers
6:52:50 PM [AWT-EventQueue-0] [debug] EditBus: DynamicMenuChanged[menu=recent-files,source=null]
6:52:50 PM [jEdit Worker #1] [debug] SFtpConnection: info.privateKey=null
6:52:50 PM [jEdit Worker #1] [debug] SFtpConnection: Passphrase for ~/.ssh/id_rsa
6:52:50 PM [jEdit Worker #1] [debug] ConnectionManager: Thread[jEdit Worker #1,6,jEdit Workers]: Connection 10:web.sourceforge.net locked
6:52:50 PM [jEdit Worker #1] [debug] ConnectionManager: releaseConnection(10:web.sourceforge.net)
6:52:50 PM [jEdit Worker #1] [debug] ConnectionManager: Thread[jEdit Worker #1,6,jEdit Workers]: Connection 10:web.sourceforge.net released

What is strange is that I supplied a password and yet it still seems to be using the private key...



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

I'm planning on doing Plugin releases the second weekend of June (starting
Saturday the 9th).

As of this email there are no release requests.

Thanks,
Eric B.

-- 
Learn from the past. Live in the present. Work towards the future.
turtlepaws.com - When was the last time you changed your master password?
Blog: http://eric-berry.blogspot.com
jEdit <http://www.jedit.org> - Programmer's Text Editor

---

** [feature-requests:#545] HL7 edit mode**

**Status:** open
**Group:** none
**Labels:** Edit mode 
**Created:** Tue May 29, 2018 11:20 AM UTC by Thiemo Kellner
**Last Updated:** Tue May 29, 2018 11:20 AM UTC
**Owner:** nobody
**Attachments:**

- [hl7v2.xml](https://sourceforge.net/p/jedit/feature-requests/545/attachment/hl7v2.xml) (5.3 kB; text/xml)


I would like to propose a very basic edit mode for HL7 version 2 files. It is based on Jaco de Groot's csv.xml 2.2. 20070213 and reflects specification [version 2.8.2 of HL7](http://www.hl7.org/documentcenter/private/standards/V282/HL7-xml%20v2.8.2.zip).

> <MODE NAME="HL7v2" FILE="hl7v2.xml"
        FILE_NAME_GLOB="*.{hl7,hl7v2,hl7-2}"
        FIRST_LINE_GLOB="MSH*" />
</MODES>


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

- **status**: open --> closed-accepted
- **assigned_to**: Townsfolk
- **Comment**:

Thank you for your patience, sorry for the delay, this plugin has been released to plugin central.



---

** [plugin-central-submission:#1037] Look and Feel 2.0**

**Status:** closed-accepted
**Group:** None
**Created:** Sun Apr 29, 2018 01:43 AM UTC by Dale Anson
**Last Updated:** Sun Apr 29, 2018 01:43 AM UTC
**Owner:** Townsfolk


{{{ LookAndFeel 2.0
    Source: Source code is in SVN with the tag 2.0
    Announcement: bug fix release
    Requires Java 1.8
    Requires jEdit 05.04.00.00
    Required plugins: 
        Editor Scheme 1.7 (editorscheme.EditorSchemePlugin)
    
    Short Description: The LookAndFeel plugin allows easily changing the look of the user interface from within jEdit.
    
    Long Description: <html>
<body>
Skin your jEdit!<br>
The LookAndFeel plugin lets you choose between different non standard look and
feel implementations for jEdit. Currently, the following look and feel
implementations are supported:<br>
JGoodies<br>
Kunststoff<br>
Metouia<br>
NimROD<br>
Oyoaha<br>
Skin<br>
Tonic<br>
Napkin<br>
Substance (which is a separate plugin)
</body>
</html>
 }}}


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

---

** [plugin-feature-requests:#391] FTP plugin: Show file date_modified**

**Status:** open
**Group:** 
**Created:** Wed May 09, 2018 04:31 PM UTC by jongriffith
**Last Updated:** Wed May 09, 2018 04:31 PM UTC
**Owner:** nobody


FTP plugin:  Please add "date modified" column to FTP File Browser.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

---

** [bugs:#4068] NoSuchMethodException in OSXAdapter.java**

**Status:** open
**Group:** minor bug
**Created:** Tue May 08, 2018 02:36 AM UTC by Kohei Nozaki
**Last Updated:** Tue May 08, 2018 02:36 AM UTC
**Owner:** nobody


Hello,

After upgrading jEdit to 5.5.0, I've started getting the following error at every launching (I haven't seen any problem which caused by this though) 

java.lang.NoSuchMethodException: com.apple.eawt.Application.addApplicationListener(com.apple.eawt.ApplicationListener)
	at java.base/java.lang.Class.getDeclaredMethod(Unknown Source)
	at macosx.OSXAdapter.setHandler(OSXAdapter.java:121)
	at macosx.OSXAdapter.setQuitHandler(OSXAdapter.java:50)
	at macosx.MacOSXPlugin$1.run(MacOSXPlugin.java:67)
	at java.desktop/java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.desktop/java.awt.EventQueue.dispatchEventImpl(Unknown Source)
	at java.desktop/java.awt.EventQueue.access$500(Unknown Source)
	at java.desktop/java.awt.EventQueue$3.run(Unknown Source)
	at java.desktop/java.awt.EventQueue$3.run(Unknown Source)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(Unknown Source)
	at java.desktop/java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.pumpEvents(Unknown Source)
	at java.desktop/java.awt.EventDispatchThread.run(Unknown Source)

jEdit version: 5.5.0
platform: OSX 10.12.6
Java version: Oracle Java 9.0.4
step to reproduce: Simply launch jEdit with MacOSXPlugin enabled, and you'll see "7 error(s)" on the status bar

Thanks,
Kohei


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

- **status**: open --> closed-fixed
- **Group**:  --> 



---

** [plugin-bugs:#1903] GitPlugin NPE**

**Status:** closed-fixed
**Group:** 
**Created:** Mon May 07, 2018 10:54 PM UTC by Dale Anson
**Last Updated:** Mon May 07, 2018 10:54 PM UTC
**Owner:** Dale Anson


I get this occasionally. The problem is that ProjectViewer doesn't always have an active project, for example, it might be displaying the "All Projects" list or another group list, in which case calling ProjectViewer.getActiveProject(view) will return null. The GitPlugin assumes there is always an active non-null project, and will pass null to renameProject, which causes the NPE.


4:42:00 PM [AWT-EventQueue-0] [error] EditBus: Exception while sending message on EditBus:
4:42:00 PM [AWT-EventQueue-0] [error] EditBus: java.lang.NullPointerException
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at git.GitPlugin.renameProject(GitPlugin.java:59)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at git.GitPlugin.handleMessage(GitPlugin.java:52)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.dispatch(EditBus.java:246)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.sendImpl(EditBus.java:281)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.access$200(EditBus.java:87)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus$SendMessage.run(EditBus.java:461)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.send(EditBus.java:206)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer.sendUpdate(ProjectViewer.java:1109)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer.setRootNode(ProjectViewer.java:1012)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer$ProjectLoader$1.run(ProjectViewer.java:1472)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)


Assigning to myself since I'm pretty sure I wrote this bit of code.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Sorry Dale, I wasn't able to get to these this past weekend. I'll do them
this coming weekend (May 12th).


On Sat, Apr 28, 2018 at 6:44 PM, Dale Anson <da...@da...> wrote:

> I put in a ticket for the Look and Feel plugin.
>
> On Tue, Apr 24, 2018 at 12:15 PM, Eric Berry <el...@gm...> wrote:
>
>> Just a heads up, I'm planning on doing the releases on the weekend of May
>> 5th.
>>
>> ATM there are no pending plugin releases.
>>
>> Thanks,
>> EB
>>
>> --
>> Learn from the past. Live in the present. Work towards the future.
>> turtlepaws.com - When was the last time you changed your master password?
>> Blog: http://eric-berry.blogspot.com
>> jEdit <http://www.jedit.org> - Programmer's Text Editor
>>
>>
>> ------------------------------------------------------------
>> ------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> --
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>>
>


-- 
Learn from the past. Live in the present. Work towards the future.
turtlepaws.com - When was the last time you changed your master password?
Blog: http://eric-berry.blogspot.com
jEdit <http://www.jedit.org> - Programmer's Text Editor

---

** [plugin-bugs:#1903] GitPlugin NPE**

**Status:** open
**Group:** 
**Created:** Mon May 07, 2018 10:54 PM UTC by Dale Anson
**Last Updated:** Mon May 07, 2018 10:54 PM UTC
**Owner:** Dale Anson


I get this occasionally. The problem is that ProjectViewer doesn't always have an active project, for example, it might be displaying the "All Projects" list or another group list, in which case calling ProjectViewer.getActiveProject(view) will return null. The GitPlugin assumes there is always an active non-null project, and will pass null to renameProject, which causes the NPE.


4:42:00 PM [AWT-EventQueue-0] [error] EditBus: Exception while sending message on EditBus:
4:42:00 PM [AWT-EventQueue-0] [error] EditBus: java.lang.NullPointerException
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at git.GitPlugin.renameProject(GitPlugin.java:59)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at git.GitPlugin.handleMessage(GitPlugin.java:52)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.dispatch(EditBus.java:246)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.sendImpl(EditBus.java:281)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.access$200(EditBus.java:87)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus$SendMessage.run(EditBus.java:461)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at org.gjt.sp.jedit.EditBus.send(EditBus.java:206)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer.sendUpdate(ProjectViewer.java:1109)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer.setRootNode(ProjectViewer.java:1012)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at projectviewer.ProjectViewer$ProjectLoader$1.run(ProjectViewer.java:1472)
4:42:00 PM [AWT-EventQueue-0] [error] EditBus:  at java.awt.event.InvocationEvent.dispatch(InvocationEvent.java:311)


Assigning to myself since I'm pretty sure I wrote this bit of code.


---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

There are 2 things being discussed here it seems:

1- Developing for WordPress

WordPress is developed using PHP with a database for storage. So, to
develop a WP plugin, for example, you'd just need an IDE that can work with
PHP and possibly JS/CSS/HTML. You probably don't need to access the data in
the DB directly.

If you're developing themes for WordPress, again, you need an IDE that can
handle PHP/JS/CSS/HTML

2- Writing/Posting/Blogging to WordPress

If you're wanting to create a plugin in jEdit that allows you to write your
blog post/articles in jEdit and post them directly to a WordPress site, you
can take a look at this page:

https://codex.wordpress.org/XML-RPC_Support

"WordPress uses an XML-RPC interface. WordPress has its own implementation
for WordPress-specific functionality in an API called the WordPress API.
This should be used when possible, and your client should use the API
variants beginning with the wp prefix."

Of course you'd be rewriting all the functionality that's already available
in the admin UI in WP for writing, or, in the WordPress.com app, but it's
possible.

I hope that helps.

thanks


On Mon, May 7, 2018 at 1:52 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> I don't know enough about wordpress yet to answer your question, Dale.
> I am not sure what format wordpress content is stored in. If it is simple
> HTML on a regular file system, then the SFTP plugin + the HTML sidekick
> might be good enough.
>
> If wordpress uses a database to store its content, then we need a way to
> read/write to that database.
>
> If the file format is not HTML or XML, but some other format, I guess we
> would need an edit mode for that too. If it was XML, we'd need a formal
> grammar/schema definition for it.
> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

There are 2 things being discussed here it seems:

1- Developing for WordPress

WordPress is developed using PHP with a database for storage. So, to
develop a WP plugin, for example, you'd just need an IDE that can work with
PHP and possibly JS/CSS/HTML. You probably don't need to access the data in
the DB directly.

If you're developing themes for WordPress, again, you need an IDE that can
handle PHP/JS/CSS/HTML

2- Writing/Posting/Blogging to WordPress

If you're wanting to create a plugin in jEdit that allows you to write your
blog post/articles in jEdit and post them directly to a WordPress site, you
can take a look at this page:

https://codex.wordpress.org/XML-RPC_Support

"WordPress uses an XML-RPC interface. WordPress has its own implementation
for WordPress-specific functionality in an API called the WordPress API.
This should be used when possible, and your client should use the API
variants beginning with the wp prefix."

Of course you'd be rewriting all the functionality that's already available
in the admin UI in WP for writing, or, in the WordPress.com app, but it's
possible.

I hope that helps.

thanks


On Mon, May 7, 2018 at 1:52 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> I don't know enough about wordpress yet to answer your question, Dale.
> I am not sure what format wordpress content is stored in. If it is simple
> HTML on a regular file system, then the SFTP plugin + the HTML sidekick
> might be good enough.
>
> If wordpress uses a database to store its content, then we need a way to
> read/write to that database.
>
> If the file format is not HTML or XML, but some other format, I guess we
> would need an edit mode for that too. If it was XML, we'd need a formal
> grammar/schema definition for it.
> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

I don't know enough about wordpress yet to answer your question, Dale.
I am not sure what format wordpress content is stored in. If it is simple HTML on a regular file system, then the SFTP plugin + the HTML sidekick might be good enough.

If wordpress uses a database to store its content, then we need a way to read/write to that database. 

If the file format is not HTML or XML, but some other format, I guess we would need an edit mode for that too. If it was XML, we'd need a formal grammar/schema definition for it. 




---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

I'm not at all up on Wordpress, but I did run across this article:

https://premium.wpmudev.org/blog/best-text-editors-wordpress/

It lists a bunch of text editors that work well with Wordpress. jEdit isn't
listed, but it has all the capabilities of the ones on the list. What else
would you need besides the XML plugin?


On Fri, May 4, 2018 at 1:46 PM, James <gen...@gm...> wrote:

> Ok, that's strange. I wonder if it's a port thing or something.
>
> If you'd like assistance debugging that, and you'd like to take it out of
> the jEdit discussion, feel free to respond directly. I don't pretend to
> think I know anything you don't, but in case you'd like a second pair of
> eyes, let me know.
>
> On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
> jed...@li...> wrote:
>
>> I tried to install Jetpack but the instructions do not work on my
>> particular combo of platform, wordpress server, and browser.
>> ------------------------------
>>
>> * [plugin-feature-requests:#390]
>> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
>> editor plugin*
>>
>> *Status:* open
>> *Group:*
>> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
>> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
>> *Owner:* nobody
>>
>> I hate editing things in a web browser, especially when it is browsing
>> WordPress.
>> I wish I could edit pages/content from jEdit.
>> ------------------------------
>>
>> Sent from sourceforge.net because jed...@li... is
>> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>>
>> To unsubscribe from further messages, a project admin can change settings
>> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
>> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>> ------------------------------------------------------------
>> ------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

As far as I can tell, that list is for developing in WordPress as opposed
to posting articles/posts/pages to WordPress which is what I understood
your plugin suggestion to mean.

And, jEdit should be on there if you feel it compares to those editors as a
PHP "IDE". I've used it for WordPress coding in the past many times, but
I'm not exactly a full time WP developer.

An example of the items that they list for the other editors and matches
jEdit perfectly:
- It has a simple interface with many features including multiple cursors
and themes
- search and replace
- code hints
- syntax highlighting
- and database management capabilities.

Maybe the last item is a bit "iffy" for beginners in jEdit, but it's
definitely doable.

Perhaps one day when "plugin packs" are implemented where you could have a
"WordPress pack" that installs any plugins (as a batch) specific to
WordPress, it would be easier to set up for noobies to jEdit. Or, perhaps
help articles showing what's needed for each environment in a "getting
started" type page?

I hope all that made sense.

On Fri, May 4, 2018 at 10:05 PM Dale Anson <da...@da...> wrote:

> I'm not at all up on Wordpress, but I did run across this article:
>
> https://premium.wpmudev.org/blog/best-text-editors-wordpress/
>
> It lists a bunch of text editors that work well with Wordpress. jEdit
> isn't listed, but it has all the capabilities of the ones on the list. What
> else would you need besides the XML plugin?
>
>
> On Fri, May 4, 2018 at 1:46 PM, James <gen...@gm...> wrote:
>
>> Ok, that's strange. I wonder if it's a port thing or something.
>>
>> If you'd like assistance debugging that, and you'd like to take it out of
>> the jEdit discussion, feel free to respond directly. I don't pretend to
>> think I know anything you don't, but in case you'd like a second pair of
>> eyes, let me know.
>>
>> On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
>> jed...@li...> wrote:
>>
>>> I tried to install Jetpack but the instructions do not work on my
>>> particular combo of platform, wordpress server, and browser.
>>> ------------------------------
>>>
>>> * [plugin-feature-requests:#390]
>>> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
>>> editor plugin*
>>>
>>> *Status:* open
>>> *Group:*
>>> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
>>> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
>>> *Owner:* nobody
>>>
>>> I hate editing things in a web browser, especially when it is browsing
>>> WordPress.
>>> I wish I could edit pages/content from jEdit.
>>> ------------------------------
>>>
>>> Sent from sourceforge.net because jed...@li... is
>>> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>>>
>>> To unsubscribe from further messages, a project admin can change
>>> settings at
>>> https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
>>> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>>>
>>> ------------------------------------------------------------------------------
>>> Check out the vibrant tech community on one of the world's most
>>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
>>> -----------------------------------------------
>>> jEdit Developers' List
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>>
>>
>>
>> ------------------------------------------------------------------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> --
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>>
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

As far as I can tell, that list is for developing in WordPress as opposed
to posting articles/posts/pages to WordPress which is what I understood
your plugin suggestion to mean.

And, jEdit should be on there if you feel it compares to those editors as a
PHP "IDE". I've used it for WordPress coding in the past many times, but
I'm not exactly a full time WP developer.

An example of the items that they list for the other editors and matches
jEdit perfectly:
- It has a simple interface with many features including multiple cursors
and themes
- search and replace
- code hints
- syntax highlighting
- and database management capabilities.

Maybe the last item is a bit "iffy" for beginners in jEdit, but it's
definitely doable.

Perhaps one day when "plugin packs" are implemented where you could have a
"WordPress pack" that installs any plugins (as a batch) specific to
WordPress, it would be easier to set up for noobies to jEdit. Or, perhaps
help articles showing what's needed for each environment in a "getting
started" type page?

I hope all that made sense.

On Fri, May 4, 2018 at 10:05 PM Dale Anson <da...@da...> wrote:

> I'm not at all up on Wordpress, but I did run across this article:
>
> https://premium.wpmudev.org/blog/best-text-editors-wordpress/
>
> It lists a bunch of text editors that work well with Wordpress. jEdit
> isn't listed, but it has all the capabilities of the ones on the list. What
> else would you need besides the XML plugin?
>
>
> On Fri, May 4, 2018 at 1:46 PM, James <gen...@gm...> wrote:
>
>> Ok, that's strange. I wonder if it's a port thing or something.
>>
>> If you'd like assistance debugging that, and you'd like to take it out of
>> the jEdit discussion, feel free to respond directly. I don't pretend to
>> think I know anything you don't, but in case you'd like a second pair of
>> eyes, let me know.
>>
>> On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
>> jed...@li...> wrote:
>>
>>> I tried to install Jetpack but the instructions do not work on my
>>> particular combo of platform, wordpress server, and browser.
>>> ------------------------------
>>>
>>> * [plugin-feature-requests:#390]
>>> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
>>> editor plugin*
>>>
>>> *Status:* open
>>> *Group:*
>>> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
>>> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
>>> *Owner:* nobody
>>>
>>> I hate editing things in a web browser, especially when it is browsing
>>> WordPress.
>>> I wish I could edit pages/content from jEdit.
>>> ------------------------------
>>>
>>> Sent from sourceforge.net because jed...@li... is
>>> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>>>
>>> To unsubscribe from further messages, a project admin can change
>>> settings at
>>> https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
>>> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>>>
>>> ------------------------------------------------------------------------------
>>> Check out the vibrant tech community on one of the world's most
>>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
>>> -----------------------------------------------
>>> jEdit Developers' List
>>> jEd...@li...
>>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>>
>>
>>
>> ------------------------------------------------------------------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>> --
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>>
>

I'm not at all up on Wordpress, but I did run across this article:

https://premium.wpmudev.org/blog/best-text-editors-wordpress/

It lists a bunch of text editors that work well with Wordpress. jEdit isn't
listed, but it has all the capabilities of the ones on the list. What else
would you need besides the XML plugin?


On Fri, May 4, 2018 at 1:46 PM, James <gen...@gm...> wrote:

> Ok, that's strange. I wonder if it's a port thing or something.
>
> If you'd like assistance debugging that, and you'd like to take it out of
> the jEdit discussion, feel free to respond directly. I don't pretend to
> think I know anything you don't, but in case you'd like a second pair of
> eyes, let me know.
>
> On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
> jed...@li...> wrote:
>
>> I tried to install Jetpack but the instructions do not work on my
>> particular combo of platform, wordpress server, and browser.
>> ------------------------------
>>
>> * [plugin-feature-requests:#390]
>> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
>> editor plugin*
>>
>> *Status:* open
>> *Group:*
>> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
>> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
>> *Owner:* nobody
>>
>> I hate editing things in a web browser, especially when it is browsing
>> WordPress.
>> I wish I could edit pages/content from jEdit.
>> ------------------------------
>>
>> Sent from sourceforge.net because jed...@li... is
>> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>>
>> To unsubscribe from further messages, a project admin can change settings
>> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
>> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>> ------------------------------------------------------------
>> ------------------
>> Check out the vibrant tech community on one of the world's most
>> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
>> -----------------------------------------------
>> jEdit Developers' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>

Ok, that's strange. I wonder if it's a port thing or something.

If you'd like assistance debugging that, and you'd like to take it out of
the jEdit discussion, feel free to respond directly. I don't pretend to
think I know anything you don't, but in case you'd like a second pair of
eyes, let me know.

On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> I tried to install Jetpack but the instructions do not work on my
> particular combo of platform, wordpress server, and browser.
> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Ok, that's strange. I wonder if it's a port thing or something.

If you'd like assistance debugging that, and you'd like to take it out of
the jEdit discussion, feel free to respond directly. I don't pretend to
think I know anything you don't, but in case you'd like a second pair of
eyes, let me know.

On Fri, May 4, 2018 at 9:43 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> I tried to install Jetpack but the instructions do not work on my
> particular combo of platform, wordpress server, and browser.
> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>

I tried to install Jetpack but the instructions do not work on my particular combo of platform, wordpress server, and browser. 


---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Do you need to install JetPack?

There are quite a few benefits to installing it (I think), mainly for
things like using the WP CDN for your images. I also like the way they do
the "related posts".

But, if you don't want to install it for other reasons, I guess you'll need
a jEdit plugin :)



On Fri, May 4, 2018 at 8:45 PM Alan Ezust <ez...@us...>
wrote:

> I never tried the app before. I just downloaded it and tried it.
> The wordpress site I want to edit is not hosted on wordpress.com though,
> so it seems I must add a plugin to this.
> So I still don't know what it is like to use yet.
>
>
> On Fri, May 4, 2018 at 11:37 AM, James <gen...@gm...> wrote:
>
>> What about using the WordPress.com official app? Not sure about your
>> platform, so maybe you can't use it, but it seems to work pretty well.
>>
>> Of course, that doesn't mean you don't still want a plugin, or you're
>> about to announce one and this was a lead in...
>>
>>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

I never tried the app before. I just downloaded it and tried it.
The wordpress site I want to edit is not hosted on wordpress.com though, so
it seems I must add a plugin to this.
So I still don't know what it is like to use yet.


On Fri, May 4, 2018 at 11:37 AM, James <gen...@gm...> wrote:

> What about using the WordPress.com official app? Not sure about your
> platform, so maybe you can't use it, but it seems to work pretty well.
>
> Of course, that doesn't mean you don't still want a plugin, or you're
> about to announce one and this was a lead in...
>
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

Do you need to install JetPack?

There are quite a few benefits to installing it (I think), mainly for
things like using the WP CDN for your images. I also like the way they do
the "related posts".

But, if you don't want to install it for other reasons, I guess you'll need
a jEdit plugin :)



On Fri, May 4, 2018 at 8:45 PM Alan Ezust <ez...@us...>
wrote:

> I never tried the app before. I just downloaded it and tried it.
> The wordpress site I want to edit is not hosted on wordpress.com though,
> so it seems I must add a plugin to this.
> So I still don't know what it is like to use yet.
>
>
> On Fri, May 4, 2018 at 11:37 AM, James <gen...@gm...> wrote:
>
>> What about using the WordPress.com official app? Not sure about your
>> platform, so maybe you can't use it, but it seems to work pretty well.
>>
>> Of course, that doesn't mean you don't still want a plugin, or you're
>> about to announce one and this was a lead in...
>>
>>

What about using the WordPress.com official app? Not sure about your
platform, so maybe you can't use it, but it seems to work pretty well.

Of course, that doesn't mean you don't still want a plugin, or you're about
to announce one and this was a lead in...

On Fri, May 4, 2018 at 5:32 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>



---

** [plugin-feature-requests:#390] WordPress editor plugin**

**Status:** open
**Group:** 
**Created:** Fri May 04, 2018 03:32 PM UTC by Alan Ezust
**Last Updated:** Fri May 04, 2018 03:32 PM UTC
**Owner:** nobody


I hate editing things in a web browser, especially when it is browsing WordPress.
I wish I could edit pages/content from jEdit. 



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.

I never tried the app before. I just downloaded it and tried it.
The wordpress site I want to edit is not hosted on wordpress.com though, so
it seems I must add a plugin to this.
So I still don't know what it is like to use yet.


On Fri, May 4, 2018 at 11:37 AM, James <gen...@gm...> wrote:

> What about using the WordPress.com official app? Not sure about your
> platform, so maybe you can't use it, but it seems to work pretty well.
>
> Of course, that doesn't mean you don't still want a plugin, or you're
> about to announce one and this was a lead in...
>
>

What about using the WordPress.com official app? Not sure about your
platform, so maybe you can't use it, but it seems to work pretty well.

Of course, that doesn't mean you don't still want a plugin, or you're about
to announce one and this was a lead in...

On Fri, May 4, 2018 at 5:32 PM Alan Ezust via jEdit-devel <
jed...@li...> wrote:

> ------------------------------
>
> * [plugin-feature-requests:#390]
> <https://sourceforge.net/p/jedit/plugin-feature-requests/390/> WordPress
> editor plugin*
>
> *Status:* open
> *Group:*
> *Created:* Fri May 04, 2018 03:32 PM UTC by Alan Ezust
> *Last Updated:* Fri May 04, 2018 03:32 PM UTC
> *Owner:* nobody
>
> I hate editing things in a web browser, especially when it is browsing
> WordPress.
> I wish I could edit pages/content from jEdit.
> ------------------------------
>
> Sent from sourceforge.net because jed...@li... is
> subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/
>
> To unsubscribe from further messages, a project admin can change settings
> at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options.
> Or, if this is a mailing list, you can unsubscribe from the mailing list.
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot--
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>