Re: [gedit-list] Commander plugin
- From: Nacho <nacho resa gmail com>
- To: Jean-Philippe Fleury <contact jpfleury net>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] Commander plugin
- Date: Fri, 3 Jun 2011 21:16:00 +0200
Dunno, it should work with control+period as you can see:
http://git.gnome.org/browse/gedit-plugins/tree/plugins/commander/commander/windowhelper.py?h=gnome-2-30#n38
On Fri, Jun 3, 2011 at 9:12 PM, Jean-Philippe Fleury
<contact jpfleury net> wrote:
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)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]