[Pkg-jed-commit] r59 - in trunk/packages/jed/debian: . init.d patches

[G. Milde]

On 18.09.05, Jörg Sommer wrote:
> G. Milde schrieb am Wed 14. Sep, 10:35 (+0200):
> > On 11.09.05, Jörg Sommer wrote:
> > > * rules
> > >   + we can't compress any files in /u/s/d/j/txt/, because jed does not
> > >     support this (Menu->Help->Browse Docs misses files)
> > 
> > A patch to popups.sl should solve this. E.g. (untested!)
... 
> This does not work, because
> 1. auto_compression_mode is not enabled by default
> 2. browse_docs_callback() and add_files_popup_with_callback() aren't
>    ready for compressed files
> 
> But I patched them. :) Hope it works in all cases.

Good news, thanks.


> But I found also, we can't compress jedfuns.txt and libfuns.txt, because
> the slang function get_doc_string_from_file() do not support compressed
> files.

These two are more "online-help source files" than documentation, so I
think it is more sensible to have them uncompressed. (Patching
get_doc_string_from_file() to support gzipped files, would slow down
the online help considerabely, so I'd prefer not to do this.)

Guenter

-- 
G.Milde web.de