public ViewTypeChangedEventArgs(ViewType view, string mapname) { this._view = view; this._mapname = mapname; }