gawk pretty-printing

[John Devin]

Hello all,

Just a basic question today: does the `gawk --pretty-print` option
always produce tab-indented code, as opposed to space-indented?

For context, vim's filetype plugin for awk includes some conveniences
for gawk specifically, including using gawk as a formatter. I'd like
to improve the plugin to respect the user's settings regarding tabs
and indentation, so I just want to confirm gawk's behavior before I
do. Thanks for your time.

- John Devin