@Override
	public void toolChosen(String tool_name) {
		if (tool_name.equals("Pixel Inspector")) {
			view.installToolUI(inspector_tool.getUI());
			current_tool = inspector_tool;
		} else if (tool_name.equals("Paint Brush")) {
			//pass brush color from PixelInspector tool to Paint Brush
			paint_brush_tool.set_inspect_pixel(((PixelInspectorTool) current_tool).get_inspect_Pixel());
			view.installToolUI(paint_brush_tool.getUI());
			current_tool = paint_brush_tool;
		}
		else if(tool_name.equals("Blur Brush")){
			view.installToolUI(blur_tool.getUI());
			current_tool = blur_tool;
		}
	}