changing the shortcuts for previous/next sequence

[Matthieu Bizien]

it's not easy in all keyboards maps to us the page up/page down buttons. I suggest to change them to Up/Down; it's fast because our hands are in the next/prev buttons.

gui.py
class Gui:
    def on_typeView_key_press_event(self,widget, event):
        keyname = gtk.gdk.keyval_name(event.keyval)
        elif keyname == "Down":
            self.core.PreviousSequence()
        elif keyname == "Up":
            self.core.NextSequence()

[Fred Bertolus (fred-bertolus)]

It's commited. Thanks. It also fix a navigation regression introduced in developpement version using Up and Down.

[Matthieu Bizien (oao2005)]

I think it would be cleaner to have

        elif keyname == "Page_Up" or keyname == "Up" :
            self.core.NextSequence()

than
        elif keyname == "Page_Down":
            self.core.PreviousSequence()
        elif keyname == "Page_Up":
            self.core.NextSequence()
        elif keyname == "Down":
           self.core.PreviousSequence()
        elif keyname == "Up":
            self.core.NextSequence()

[Fred Bertolus (fred-bertolus)]

Too late for 1.0.1, release process is started.