diff options
| author | Joakim Verona | 2013-07-18 13:14:43 -0700 |
|---|---|---|
| committer | Joakim Verona | 2013-07-18 13:14:43 -0700 |
| commit | 6c1769c85ecb61b40a1f9a3b56b61cdd6c1f8992 (patch) | |
| tree | 78d373d72e913de304fd0fe5b60fbbcb5057a3d4 /src | |
| parent | 7270f246f49fc4f4893a5dd42fe3a3e7fe535d5a (diff) | |
| parent | f0f6659e1fccfdb26cdca5cc6ea00dddbe57ee09 (diff) | |
| download | emacs-6c1769c85ecb61b40a1f9a3b56b61cdd6c1f8992.tar.gz emacs-6c1769c85ecb61b40a1f9a3b56b61cdd6c1f8992.zip | |
Merge pull request #8 from daimrod/gdbinit-xwidget
* 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: " |