SearchInputWidget: Fix documented default for 'pushPending' option