Re: [gedit-list] Commander plugin

[Jean-Philippe Fleury <contact jpfleury net>]

Nacho a écrit le 2011-06-03 14:55 :
> Hey,
> 
> I think I remember the key was changed as it wasn't very convenient,
> maybe check
> the code for what it was in that release?

I searched for case insensitive <Ctrl>, <Control>, <Shift>, <Alt>
<Super>, <Home>, <End> in `/usr/lib/gedit-2/plugins/commander/` and the
subfolder, and I only found the following in `entry.py`:


gtk.rc_parse_string("""
binding "TerminalLike" {
	unbind "<Control>A"

	bind "<Control>W" {
		"delete-from-cursor" (word-ends, -1)
	}
	bind "<Control>A" {
		"move-cursor" (buffer-ends, -1, 0)
	}
	bind "<Control>U" {
		"delete-from-cursor" (display-line-ends, -1)
	}
	bind "<Control>K" {
		"delete-from-cursor" (display-line-ends, 1)
	}
	bind "<Control>E" {
		"move-cursor" (buffer-ends, 1, 0)
	}
	bind "Escape" {
		"delete-from-cursor" (display-lines, 1)
	}
}


Jean-Philippe