method display_modified =
      wl_modified#set_text (if v#modified then "*" else "")