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; } }