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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]