Re: HelpServer problem in latest daily builds
Eric Le Lay <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
I recently refactored some code in jEdit to simplify the HelpServer plugin. This broke the released version of HelpServer. Use the jedit-next branch of the HelpServer plugin if you are running a recent trunk version of jEdit. git clone git://git.code.sf.net/p/jedit/HelpServer cd HelpServer git checkout jedit-next ant Le Sun, 21 Aug 2016 10:18:06 -0400, Edward Diener <[email protected]> a écrit : > I run jEdit from the latest daily build of 08/18/2016 as well as also > a build from the latest source on Jedit's trunk. In both cases when > the HelpServer plug-in is installed, attempting to click Help | jEdit > Help causes an error in the browser. The error is: > > "ERROR:[object XMLHtmlRequest]" > > with an OK button in my browser. After clicking the OK button the > Contents Search tab of the browser page is empty. > > Using the distributed jEdit 5.3 the HelpServer implementation works > fine, with the browser help screen showing the TOC for jedit help. > > I am running on Windows 7 using the Pale Moon 64-bit browser. The JDK > for jEdit is 1.8.0_92. > ------------------------------------------------------------------------------ -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users