[gnome-builder] valgrind: change the keybinding for valgrind



commit 8e7e36ff89c1e3abac271a842feb59a018e67704
Author: Christian Hergert <chergert redhat com>
Date:   Tue Feb 21 00:20:01 2017 -0800

    valgrind: change the keybinding for valgrind

 plugins/valgrind/valgrind_plugin/__init__.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/valgrind/valgrind_plugin/__init__.py b/plugins/valgrind/valgrind_plugin/__init__.py
index fae3676..7ce5fae 100644
--- a/plugins/valgrind/valgrind_plugin/__init__.py
+++ b/plugins/valgrind/valgrind_plugin/__init__.py
@@ -49,7 +49,7 @@ class ValgrindWorkbenchAddin(GObject.Object, Ide.WorkbenchAddin):
             runtime = pipeline.get_configuration().get_runtime()
             if runtime and runtime.contains_program_in_path('valgrind'):
                 if not self.has_handler:
-                    run_manager.add_handler('valgrind', _('Run with Valgrind'), 'system-run-symbolic', 
'<control>F9', self.valgrind_handler)
+                    run_manager.add_handler('valgrind', _('Run with Valgrind'), 'system-run-symbolic', 
'<control>F10', self.valgrind_handler)
                     self.has_handler = True
                 return
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]