What a SQL Editor Should Actually Do