diff options
| author | Grégoire Jadi | 2013-07-16 19:41:08 +0200 |
|---|---|---|
| committer | Grégoire Jadi | 2013-07-16 19:41:08 +0200 |
| commit | f0f6659e1fccfdb26cdca5cc6ea00dddbe57ee09 (patch) | |
| tree | 895c90fc4483a66a5cf42282e057ed161d1df04e /src | |
| parent | 0bb9bb0841d89fff09820a57369df4cb01b16b43 (diff) | |
| download | emacs-f0f6659e1fccfdb26cdca5cc6ea00dddbe57ee09.tar.gz emacs-f0f6659e1fccfdb26cdca5cc6ea00dddbe57ee09.zip | |
* src/.gdbinit (xxwidget): Add an optional parameter.
Diffstat (limited to 'src')
| -rw-r--r-- | src/.gdbinit | 6 |
1 files changed, 5 insertions, 1 deletions
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. | |||
| 993 | end | 993 | end |
| 994 | 994 | ||
| 995 | define xxwidget | 995 | define xxwidget |
| 996 | xgetptr $ | 996 | if $argc == 1 |
| 997 | xgetptr $arg0 | ||
| 998 | else | ||
| 999 | xgetptr $ | ||
| 1000 | end | ||
| 997 | set $xw = (struct xwidget *) $ptr | 1001 | set $xw = (struct xwidget *) $ptr |
| 998 | print $xw | 1002 | print $xw |
| 999 | printf " Type: " | 1003 | printf " Type: " |