Bug#466486: can't prevent indenting at newline when pasting
G. Milde
g.milde at quantentunnel.de
Thu Feb 21 11:35:28 UTC 2008
In the course of discreet bug hunting,
On 21.02.08, Drew Parsons wrote:
> On Wed, 2008-02-20 at 10:52 +0100, G. Milde wrote:
> > * The changed keybinding must be defined *after* loading the default
> > keybindings, e.g. by *appending* the line
> >
> > setkey("newline_indent", "^M"); % correct mouse-insertion problem
> >
> > to ~/.jed/jed.rc.
> > * Also, you must load an emulation file before (or set the variable
> > _Jed_Emulation to a non "" value), otherwise the _Jed_Default_Emulation
> > will be loaded *after* evaluation of jed.rc - actually this might be the
> > problem we need to clarify in the docs.
> OK, these two points sound like they explain the problem. Now in
> jed.rc, I have no other settings other than these ones attempting to
> change the mouse pasting behaviour. I don't know about
> Default_Emulation at all or how to fix it correctly?
The advice in REDME.Debian is
jed.rc user startup configuration (move the jed.rc from the
examples/ here and modify to your needs)
where the example file contains the code to select an emulation.
A minimalistic jed.rc could look like:
% load emulation
require("emacs");
%require("cua");
% change keybindings
setkey("newline_indent", "^M"); % correct mouse-insertion problem
> Shouldn't Default_Emulation be set automatically set first with jed.rc
> user settings overriding any default settings?
The problem is that:
1. Only *one* emulation file should be loaded
- in order to speed up jed startup
- to prevent incompatibilities, or definitions that are not
overridden in a different emulation mode.
2. The emulation mode should be configurable by the user.
3. Jed needs to use a "sensible" emulation mode also if there is no user
setting.
The upstream solution is provide a fallback, if there is no indication
that the user has choosen an emulation. To achieve this, an emulation
mode sets the variable `_Jed_Emulation`. If this variable is not set, the
mode defined in the variable `_Jed_Default_Emulation` is evaluated
(naturally, this can only happen after evaluating jed.rc).
(On Debian, `_Jed_Default_Emulation` is set in /etc/jed.d/05jed-common.sl
and can be configured by the sysadmin.)
I will update README.Debian and README.Debian-startup to make this more
clear.
Günter
More information about the Pkg-jed-devel
mailing list