Changeset 1610


Ignore:
Timestamp:
Jun 8, 2010, 11:55:58 PM (12 years ago)
Author:
kopal
Message:
  • changes of the plugins icon will now be shown in realtime if execution engine is not running
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/CrypPlugins/WorkspaceManager/Model/PluginModel.cs

    r1609 r1610  
    2525using Gears4Net;
    2626using WorkspaceManager.Execution;
     27using System.Windows.Threading;
    2728
    2829namespace WorkspaceManager.Model
     
    236237            {
    237238                this.imageIndex = args.ImageIndex;
    238                 this.GuiNeedsUpdate = true;
     239                if (this.WorkspaceModel.WorkspaceManagerEditor.isExecuting())
     240                {
     241                    this.GuiNeedsUpdate = true;
     242                }
     243                else
     244                {
     245                    this.WorkspaceModel.WorkspaceManagerEditor.Presentation.Dispatcher.Invoke(DispatcherPriority.Normal, (SendOrPostCallback)delegate
     246                    {
     247                        this.UpdateableView.update();
     248                    }, null);
     249                }
    239250            }
    240251        }
Note: See TracChangeset for help on using the changeset viewer.