private void initView() {
		setTerminalAction = new TooltipAction("Set Terminal",
				"Begins the split of a group on a terminal.") {
			public void actionPerformed(ActionEvent event) {
				MinimizeTreeNode node = getNode();
				if (node == null) {
					JOptionPane
							.showMessageDialog(ControlPanel.this, NODE_ERROR);
					return;
				}
				controller.splitOnTerminal(node);
				controller.setEnabledness();
			}
		};
		add(setTerminalAction);

		autoPartitionAction = new TooltipAction("Auto Partition",
				"Does the split of a group for you.") {
			public void actionPerformed(ActionEvent event) {
				MinimizeTreeNode node = getNode();
				if (node == null) {
					JOptionPane
							.showMessageDialog(ControlPanel.this, NODE_ERROR);
					return;
				}
				controller.splitWithoutInput(node);
				controller.setEnabledness();
			}
		};
		add(autoPartitionAction);

		completeSubtreeAction = new TooltipAction("Complete Subtree",
				"Does the split of this group and any subgroups for you.") {
			public void actionPerformed(ActionEvent event) {
				MinimizeTreeNode node = getNode();
				if (node == null) {
					JOptionPane
							.showMessageDialog(ControlPanel.this, NODE_ERROR);
					return;
				}
				controller.splitSubtree(node);
				controller.setEnabledness();
			}
		};
		add(completeSubtreeAction);

		checkNodeAction = new TooltipAction("Check Node",
				"Verifies that a split of a group is correct.") {
			public void actionPerformed(ActionEvent event) {
				controller.check();
				controller.setEnabledness();
			}
		};
		add(checkNodeAction);

		addChildAction = new TooltipAction("Add Child",
				"Adds a new partition a group being split.") {
			public void actionPerformed(ActionEvent event) {
				/*
				 * TreeNode[] selected = treeDrawer.getSelected(); for (int i=0;
				 * i<selected.length; i++)
				 * controller.addChild((MinimizeTreeNode)selected[i]);
				 */
				controller.addChild();
				controller.setEnabledness();
			}
		};
		add(addChildAction);

		removeAction = new TooltipAction("Remove",
				"Removes a partition from a group being split.") {
			public void actionPerformed(ActionEvent event) {
				TreeNode[] selected = treeDrawer.getSelected();
				for (int i = 0; i < selected.length; i++)
					controller.removeNode((MinimizeTreeNode) selected[i]);
				controller.setEnabledness();
			}
		};
		add(removeAction);

		finishAction = new TooltipAction("Finish",
				"If the tree is done, begins building the automaton.") {
			public void actionPerformed(ActionEvent event) {
				controller.finished();
				controller.setEnabledness();
			}
		};
		add(finishAction);
	}