Using this setting:
also disables the indicator that shows if a file has been modified since last save. Is this a bug? Or if not, is there a way to keep the modification indicator? When I have many tabs, I don't want to accidentally close a tab (I just use Ctrl-W to close).