Re: Opening *.info files without launching info_mode

["G. Milde" <g.milde@xxxxxx>]

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 send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.