editor height change, fix realtime highlight