public override HexSpaceReservationManager GetSpaceReservationManager(string name)
        {
            if (wpfHexView.IsClosed)
            {
                throw new InvalidOperationException();
            }
            if (name is null)
            {
                throw new ArgumentNullException(nameof(name));
            }
            int index = GetNameIndex(name);

            if (index < 0)
            {
                throw new ArgumentException();
            }
            var mgr = spaceReservationManagers[index];

            if (mgr is null)
            {
                mgr = new HexSpaceReservationManagerImpl(wpfHexView);
                mgr.GotAggregateFocus          += HexSpaceReservationManager_GotAggregateFocus;
                mgr.LostAggregateFocus         += HexSpaceReservationManager_LostAggregateFocus;
                spaceReservationManagers[index] = mgr;
            }
            return(mgr);
        }
		public override HexSpaceReservationManager GetSpaceReservationManager(string name) {
			if (wpfHexView.IsClosed)
				throw new InvalidOperationException();
			if (name == null)
				throw new ArgumentNullException(nameof(name));
			int index = GetNameIndex(name);
			if (index < 0)
				throw new ArgumentException();
			var mgr = spaceReservationManagers[index];
			if (mgr == null) {
				mgr = new HexSpaceReservationManagerImpl(wpfHexView);
				mgr.GotAggregateFocus += HexSpaceReservationManager_GotAggregateFocus;
				mgr.LostAggregateFocus += HexSpaceReservationManager_LostAggregateFocus;
				spaceReservationManagers[index] = mgr;
			}
			return mgr;
		}