From f0f6659e1fccfdb26cdca5cc6ea00dddbe57ee09 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Gr=C3=A9goire=20Jadi?= <gregoire.jadi@gmail.com>
Date: Tue, 16 Jul 2013 19:41:08 +0200
Subject: [PATCH] * src/.gdbinit (xxwidget): Add an optional parameter.

---
 src/.gdbinit | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/.gdbinit b/src/.gdbinit
index 2668772c2ed..50f4b11238a 100644
--- a/src/.gdbinit
+++ b/src/.gdbinit
@@ -993,7 +993,11 @@ Print $ as a scrollbar pointer.
 end
 
 define xxwidget
-  xgetptr $
+  if $argc == 1
+    xgetptr $arg0
+  else
+    xgetptr $
+  end
   set $xw = (struct xwidget *) $ptr
   print $xw
   printf " Type: "
-- 
2.39.2