Esempio n. 1
0
        private void DlgCustomMapsManager_Closing(object sender, System.ComponentModel.CancelEventArgs e)
        {
            try                         // columns may be not initialized yet
            {
                Project.nameColWidthCm   = NameCol.Width;
                Project.descColWidthCm   = DescrCol.Width;
                Project.sourceColWidthCm = SourceCol.Width;
            }
            catch {}

            //PictureManager.This.Refresh();

            This = null;
        }
Esempio n. 2
0
        public DlgCustomMapsManager()
        {
            if (This != null)
            {
                This.Dispose();
                //GC.Collect();
                //GC.WaitForPendingFinalizers();
            }
            This = this;

            InitializeComponent();

            if (Project.fitsScreen(100, 100, Project.cmManagerWidth, Project.cmManagerHeight))
            {
                this.ClientSize = new System.Drawing.Size(Project.cmManagerWidth, Project.cmManagerHeight);
            }

            Project.setDlgIcon(this);
        }
        public DlgCustomMapsManager()
        {
            if(This != null)
            {
                This.Dispose();
                //GC.Collect();
                //GC.WaitForPendingFinalizers();
            }
            This = this;

            InitializeComponent();

            if(Project.fitsScreen(100, 100, Project.cmManagerWidth, Project.cmManagerHeight))
            {
                this.ClientSize = new System.Drawing.Size(Project.cmManagerWidth, Project.cmManagerHeight);
            }

            Project.setDlgIcon(this);
        }
        private void DlgCustomMapsManager_Closing(object sender, System.ComponentModel.CancelEventArgs e)
        {
            try		// columns may be not initialized yet
            {
                Project.nameColWidthCm = NameCol.Width;
                Project.descColWidthCm = DescrCol.Width;
                Project.sourceColWidthCm = SourceCol.Width;
            }
            catch {}

            //PictureManager.This.Refresh();

            This = null;
        }