2012-07-13 22:11:20 +02:00
|
|
|
Index: virt-manager-0.9.3/src/virtManager/uihelpers.py
|
2010-02-16 17:11:41 +01:00
|
|
|
===================================================================
|
2012-07-13 22:11:20 +02:00
|
|
|
--- virt-manager-0.9.3.orig/src/virtManager/uihelpers.py
|
|
|
|
+++ virt-manager-0.9.3/src/virtManager/uihelpers.py
|
|
|
|
@@ -963,6 +963,16 @@ def build_keycombo_menu(cb):
|
2011-09-20 17:08:57 +02:00
|
|
|
make_item("Ctrl+Alt+_Backspace", ["Control_L", "Alt_L", "BackSpace"])
|
|
|
|
make_item("Ctrl+Alt+_Delete", ["Control_L", "Alt_L", "Delete"])
|
|
|
|
menu.add(gtk.SeparatorMenuItem())
|
|
|
|
+ make_item("Ctrl+Scroll+Scroll", ["Control_L", "Scroll" + "Scroll"])
|
|
|
|
+ make_item("Alt+F_10", ["Alt_L", "F10"])
|
|
|
|
+ make_item("Alt+Tab", ["Alt_L", "Tab"])
|
|
|
|
+ make_item("Alt+Escape", ["Alt_L", "Escape"])
|
|
|
|
+ make_item("Ctrl+Escape", ["Control_L", "Escape"])
|
|
|
|
+ make_item("Ctrl+Alt+Escape", ["Control_L", "Alt_L", "Escape"])
|
|
|
|
+ make_item("Alt+Shift+Shift+Escape", ["Alt_R", "Shift_R", "Shift_L", "Escape"])
|
|
|
|
+ make_item("F_8", ["F8"])
|
|
|
|
+ make_item("F_10", ["F10"])
|
|
|
|
+ menu.add(gtk.SeparatorMenuItem())
|
2010-02-16 17:11:41 +01:00
|
|
|
|
2011-09-20 17:08:57 +02:00
|
|
|
for i in range(1, 13):
|
|
|
|
make_item("Ctrl+Alt+F_%d" % i, ["Control_L", "Alt_L", "F%d" % i])
|