internal void _deconfigureForTaskbar()
{
if (taskbarButton != null)
{
Gui.Instance.destroyWidget(taskbarButton);
taskbar = null;
taskbarButton = null;
}
}
public GUITaskManager(Taskbar taskbar, TaskMenu taskMenu, TaskController taskController)
{
this.taskController = taskController;
taskController.TaskAdded += taskController_TaskAdded;
taskController.TaskRemoved += taskController_TaskRemoved;
this.taskbar = taskbar;
this.taskMenu = taskMenu;
taskMenu.TaskItemOpened += new TaskDelegate(taskMenu_TaskItemOpened);
taskMenu.TaskItemDropped += new TaskDragDropEventDelegate(taskMenu_TaskItemDropped);
taskMenu.TaskItemDragged += new TaskDragDropEventDelegate(taskMenu_TaskItemDragged);
}
internal void _configureForTaskbar(Taskbar taskbar, Button taskbarButton)
{
if (this.taskbarButton != null)
{
throw new Exception("This item has already been configured. Only add a TaskbarItem to one taskbar.");
}
this.taskbar = taskbar;
this.taskbarButton = taskbarButton;
taskbarButton.ImageBox.setItemResource(IconName);
taskbarButton.MouseButtonClick += clicked;
taskbarButton.MouseButtonReleased += new MyGUIEvent(taskbarButton_MouseButtonReleased);
taskbarButton.NeedToolTip = true;
taskbarButton.EventToolTip += new MyGUIEvent(taskbarButton_EventToolTip);
}