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
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
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 be
On 19.02.08, Drew Parsons wrote:
I use jed from a X terminal. When I copypaste 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
...
- this
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 Jed
Package: jed
Version: 1:0.99.18+dfsg.1-9
Severity: normal
I use jed from a X terminal. When I copypaste 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
6 matches
Mail list logo