Changing tex editor