private void Dispose(bool disposing)
        {
            if (disposing)
            {
                if (headerArea != null)
                {
                    headerArea.Dispose();
                }
            }

            headerArea = null;
            store      = null;
        }
        private void Dispose(bool disposing)
        {
            if (disposing)
            {
                if (indexHeaderArea != null)
                {
                    indexHeaderArea.Dispose();
                }

                if (startArea != null)
                {
                    startArea.Dispose();
                }
            }

            indexHeaderArea = null;
            Store           = null;
            startArea       = null;
        }
        public void Dispose()
        {
            if (FieldCache != null)
            {
                FieldCache.Clear();
            }

            if (headerArea != null)
            {
                headerArea.Dispose();
            }

            if (recordList != null)
            {
                recordList.Dispose();
            }

            if (Registries != null)
            {
                Registries.Dispose();
            }

            if (indexSetStore != null)
            {
                indexSetStore.Dispose();
            }

            if (Store != null)
            {
                if (StoreSystem.CloseStore(Store))
                {
                    Store.Dispose();
                }
            }

            headerArea    = null;
            recordList    = null;
            Registries    = null;
            indexSetStore = null;
        }
Beispiel #4
0
        public async Task Close()
        {
            _shouldAnimate = false;
            stop();
            var label = _label;

            if (label != null)
            {
                _game.State.UI.Remove(label);
                label.Dispose();
            }

            var checkbox = _checkbox;

            if (checkbox != null)
            {
                label = checkbox.TextLabel;
                if (label != null)
                {
                    _game.State.UI.Remove(label);
                    label.Dispose();
                }
                _game.State.UI.Remove(checkbox);
                checkbox.Dispose();
            }

            var playerAsFeature = _playerAsFeature;

            if (playerAsFeature != null)
            {
                await playerAsFeature.Restore();
            }

            _elevator?.DestroyWithChildren();
            _area?.Dispose();

            _scheme.CurrentMode = MouseCursors.POINT_MODE;
        }