On 21.02.08, G. Milde wrote:
> > OK, these two points sound like they explain the problem.
...
Actually, there is more:
Many editing modes (c_mode, slang_mode, perl_mode, php_mode, to name but a
few) bind the return key to newline_and_indent() in their local keymap.
Therefore you will n
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"); %
On Wed, 2008-02-20 at 10:52 +0100, G. Milde wrote:
>
> Are you sure?
>
> What are e.g. the values for variables set in /etc/jed.d/05jed-common.sl
>
>Default_Jedrc_Startup_File
Using Help->Describe variable,
String_Type `Default_Jedrc_Startup_File' == /home/drew/.jed/jed.rc
(so it should b
On Tue, 2008-02-19 at 14:40 +0100, G. Milde wrote:
>
> > A2: Temporarily change the keybinding
> ...
> > - this does work, thanks. But it's inconvenient to set manually like
> > this each time.
>
> How about paste()? (A1) This is basically a function to automate this task,
> recommended by the
On 19.02.08, Drew Parsons wrote:
> I use jed from a X terminal. When I copy&paste with the mouse, the
> text gets indented with each newline.
> This problem is addressed in /usr/share/doc/jed/README.Debian, with a
> variety of solutions offered.
> A2: Temporarily change the keybinding
...
> - t
Package: jed
Version: 1:0.99.18+dfsg.1-9
Severity: normal
I use jed from a X terminal. When I copy&paste with the mouse, the
text gets indented with each newline.
This problem is addressed in /usr/share/doc/jed/README.Debian, with a
variety of solutions offered.
A2: Temporarily change the keybi
6 matches
Mail list logo
