Log In
rpms
/
gnome-terminal
Clone
Source Code
GIT
Source
Issues
Pull Requests
1
Stats
History tab-switching.patch
Branch:
821e45d9e0f447b7fad4dd95a15239d284deda76
f10
f11
f12
f13
f14
f15
f16
f17
f18
f19
f20
f20-gnome-3-12
f21
f22
f23
f24
f25
f26
f27
f28
f29
f30
f31
f32
f33
f34
f35
f36
f37
f38
f39
f40
f7
f8
f9
main
rawhide
821e45d9e0f447b7fad4dd95a15239d284deda76
tab-switching.patch
2.24.2
Matthias Clasen
• 15 years ago
b0fdfa3
make tab switching shortcuts work again
Matthias Clasen
• 15 years ago
2ae52ce