psql editor highlighting