Better editor preferences