mutable props = (None : source_view_props option)