[Pkg-jed-commit] r59 - in trunk/packages/jed/debian: . init.d
patches
G. Milde
g.milde at web.de
Mon Sep 19 07:39:52 UTC 2005
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
More information about the Pkg-jed-devel
mailing list