On 16.01.07, Rafael Laboissiere wrote: > package jed > tags 180577 upstream > thanks
> A bug report (http://bugs.debian.org/180577) has been filed against the the > jed package in Debian regarding the behavior of JED when opening a file with > the .info extension. In this situation, instead of opening a window for > editing the file directly, info_mode() is called, which results in the info > browser being launched. This can confuse users. > I am considering to apply the patch attached below to sitel.sl in order to > make an exception for *.info files in mode_hook(). There is an easier fix, as jed already has the framework for the case where filename-extension != mode-prefix, namely add_mode_for_extension(). The following lines in a configuration file (one of defaults.sl, /etc/jed.d/05jed-common.sl, ~/.jedrc, or ~/.jed/jed.rc) will fix the bug:: % do not call info_mode() for *.info files % (as info_mode is no editing mode but an info reader mode!) add_mode_for_extension("no", "info"); > After all, there is no mode to edit directly info files, since these > are files generated from texinfo sources. While generating info files from texinfo is quite common, it is not the only way to produce them. Hand coding is feasible as well (although not supported by a Jed language editing mode) > Please tell me whether this solution is acceptable or if there is a better > fix. For the Debian jed-common package, I propose a fix in /etc/jed.d/05jed-common.sl. Nevertheless, it would be nice if there was a fix in the original Jed distribution (what Debian calles upstream). Günter -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
