Re: HelpServer problem in latest daily builds
Edward Diener <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <[email protected]> |
On 8/23/2016 3:28 AM, Eric Le Lay wrote: > 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 Thanks ! Worked like a charm ! > > 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