* src/.gdbinit (xxwidget): Add an optional parameter.