Example #1
0
 public DockPanel()
 {
     mDockPads = new Dictionary<string, DockPad>();
     mDBClickTabCommand = null;
     mDBClickTabCmd = null;
     mDockPanel = null;
     mDockStyle = @"None";
     mActiveDockUrl = null;
 }
Example #2
0
 public DockFrame(IDockUrl nDockUrl)
 {
     if (null == nDockUrl)
     {
         return;
     }
     mDockUrl = nDockUrl;
     this.Text = nDockUrl._getDockUrlName();
     mDockUrl.m_tDockUrlNameChange += this._setName;
 }
Example #3
0
        public override void _runCommand()
        {
            WorkbenchSingleton workbenchSingleton_ = __singleton <WorkbenchSingleton> ._instance();

            IDockUrl dockUrl_ = workbenchSingleton_._getActiveDockUrl();

            if (null == dockUrl_)
            {
                return;
            }
            if (dockUrl_._isDirty())
            {
                dockUrl_._runSave();
            }
        }
Example #4
0
 public void _setDockUrl(IDockUrl nDockUrl)
 {
     nDockUrl.m_tActiveWidget += this._getActiveWidget;
     mDockUrl = nDockUrl;
 }
Example #5
0
 public DockContent()
 {
     mDockFrame = null;
     mDockUrl = null;
     mWidget = null;
 }
Example #6
0
 public void _showDockUrl(IDockUrl nDockUrl)
 {
     mWorkbench._showDockUrl(nDockUrl);
 }
Example #7
0
 public void _showDockUrl(IDockUrl nDockUrl)
 {
     mDockPanel._showDockUrl(nDockUrl);
 }
Example #8
0
 void _activeDocumentChanged(object obj, EventArgs e)
 {
     DockFrame dockFrame_ = mDockPanel.ActiveDocument as DockFrame;
     if (null != dockFrame_ && !dockFrame_.IsDisposed)
     {
         if (null != mActiveDockUrl)
         {
             mActiveDockUrl._runDeActive();
         }
         mActiveDockUrl = dockFrame_._getDockUrl();
         if (null != mActiveDockUrl)
         {
             mActiveDockUrl._runActive();
         }
     }
     else
     {
         mActiveDockUrl = null;
     }
     UpdateSingleton updateSingleton_ = __singleton<UpdateSingleton>._instance();
     updateSingleton_._runUpdate();
 }
Example #9
0
 public void _showDockUrl(IDockUrl nDockUrl)
 {
     DockContent dockContent_ = nDockUrl._getDockContent() as DockContent;
     if (null == dockContent_)
     {
         dockContent_ = new DockContent();
         dockContent_._setDockUrl(nDockUrl);
         nDockUrl._setDockContent(dockContent_);
     }
     dockContent_._initControl();
     DockFrame dockFrame_ = dockContent_._getDockFrame();
     dockFrame_.Show(mDockPanel);
 }