I've opened a few files where I get a warning about mixed tabs and spaces. I select the convert option, and nothing happens. I can click the convert button repeatedly in the Mixed Tabs & Spaces pane, and still no conversion occurs. Is this a know issue?