mutable selection = (None : string option)