Quantcast

[ jEdit-users ] HelpServer problem in latest daily builds

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-users ] HelpServer problem in latest daily builds

Edward Diener-3
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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] HelpServer problem in latest daily builds

Eric Le Lay
Administrator
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 <[hidden email]> 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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

Re: [ jEdit-users ] HelpServer problem in latest daily builds

Edward Diener-3
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 <[hidden email]> 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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-users
Loading...