public void SetRightPluginOrientation(PluginViewHolder pluginView)
 {
     if (RightContent != pluginView.View)
     {
         LeftContent = RightContent;
         RightContent = pluginView.View;
     }
 }
 public void SetPanelVisibility(PluginViewHolder pluginView)
 {
     if (pluginView.IsVisible)
     {
         if (LeftContent == pluginView.View)
         {
             LeftContent = null;
         }
         else
         {
             RightContent = null;
         }
     }
     else
     {
         if (LeftContent == null)
         {
             LeftContent = pluginView.View;
         }
         else
         {
             RightContent = pluginView.View;
         }
     }
 }
 public void SetPluginControl(IPlugin plugin, UIElement element, ImageSource toolboxImageSource)
 {
     if (m_PluginViewHolders.ContainsKey(plugin))
     {
         m_PluginViewHolders[plugin] = new PluginViewHolder(toolboxImageSource, element, plugin);
     }
     else
     {
         m_PluginViewHolders.Add(plugin, new PluginViewHolder(toolboxImageSource, element, plugin));
     }
     OnPropertyChanged("PluginViewHolders");
 }
 public void SetLeftPluginOrientation(PluginViewHolder pluginView)
 {
     if (LeftContent != pluginView.View)
     {
         RightContent = LeftContent;
         LeftContent = pluginView.View;
     }
 }