From: Gerd K. <ge...@bi...> - 2004-07-20 19:51:59
|
On Jul 20, 2004, at 12:55 PM, Patrick Wright wrote: > Hey > > I have been working on a plugin that extends the features of the JEdit > Help window. You can try it out at > > http://www.pdoubleya.com/csd/dhtml/projects/jedit/jhelpplus/ > jhelpplus.html > > Features include: specify your own CSS file, increment/decrement font > size > while reading, keyboard navigation. > > More improvements are planned. > > Note this is all based off of the core HelpViewer class and related, > but > all copied over into a new structure (for now, unless there is interest > later to merge some of it back in). > > Send feedback if you try it out. > Nice! One feature I always wanted was to be able to export all documentation from jEdit, so I can read it using tools that are a bit more flexible and faster than the built in HelpViewer. When writing a plugin it would be just soo helpful to have multiple API files open in different Tabs in my web browser, instead of lot's of clicking and (slow) reloading of pages. Any chance you could add that? Thanks Gerd |