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