Issue4187

For issue #4187
Your editor is converting it to spaces. Make sure that your editor outputs an actual tab versus a fixed number of spaces when you hit tab.