I set the max jEdit version of PrologConsole to jEdit 4.4 in the plugin manager database, but it is still showing up in the plugin install pane for jEdit 5.2.
summary: PluginManager displays plugins that are not supported on this version of jEdit --> PluginManager installpane shows plugins that are not supported on this version of jEdit
assigned_to: Alan Ezust
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: