Menu

#15 Tab keybindings

v1.0_(example)
open
nobody
7
2007-07-22
2007-04-02
No

I don't know if there was already an effort to have tilda comply with the Gnome HIG, however, there's something from the HIG you should change quickly, or at least give the option to change it: tab change keybinding.

The default on every Gnome app is Ctrl+PageUp/Down (except gedit and yes, i've filed a bug report for that ages ago and it's still discussed to this day, but becaus e that keybinding is used for something else).

Most Gnome users will surely try and use Ctrl+PageUp/Down to change tabs, and it's a lot more practical and easy then Ctrl+Shift+PageUp/Down.

Discussion

  • Tiago Rodrigues

    Tiago Rodrigues - 2007-04-02

    Logged In: YES
    user_id=1671466
    Originator: YES

    I've just noticed something else. If you compare it to other apps, it works backwards. In every other app, PageDown is next tab and PageUp is previous tab. In tilda, this works backwards, which is also source for great confusion by the users.

     
  • Ira Snyder

    Ira Snyder - 2007-07-22

    Logged In: YES
    user_id=755929
    Originator: NO

    Interesting. I didn't develop this feature, and never noticed it, but you are correct.

    I just tried changing the code (it is a trivial change) and the only issue I have is that when Ctrl+PageUp or Ctrl+PageDown is sent, it adds a "~5" to the terminal window. This doesn't happen in gnome-terminal, so I'm not sure why it happens in Tilda. I'll have to look closer.

    In the future, we will add configurable keybinding support to Tilda, but it really is difficult, especially for non-expert GTK users, like us.

    Thanks for the input.

     
  • Ira Snyder

    Ira Snyder - 2007-07-22
    • priority: 5 --> 7
     

Log in to post a comment.