Rémi Verschelde 38faed54ba Merge pull request #5398 from djrm/shortcuts
Configurable shortcuts for tabs switching
2016-06-25 10:36:44 +02:00
..
2016-04-25 19:08:22 +02:00
2016-04-02 20:26:12 +02:00
2016-06-21 17:20:35 -03:00
2016-03-09 00:00:52 +01:00
2016-04-02 20:26:12 +02:00
2016-04-02 20:26:12 +02:00
2016-06-14 21:42:02 -05:00
2016-02-28 20:39:29 -03:00
2016-04-02 20:26:12 +02:00
2016-06-01 15:56:19 +02:00