edv.py: update_display does more efficient updates