private JPanel getRightComponent(boolean b) {
		JPanel mainPanel = new JPanel();
		mainPanel.setLayout(new BorderLayout());
		JPanel panel = new JPanel();
		panel.setLayout(new BorderLayout());
		if (textField == null)
			textField = new TextField();
		panel.add(textField, BorderLayout.CENTER);
		textField.setColumns(10);
		textField.addKeyListener(new KeyListener() {

			public void keyPressed(KeyEvent e) {
				// TODO Auto-generated method stub
				if (e.getKeyCode() == KeyEvent.VK_ENTER
						&& textField.getText().compareTo("") != 0) {
					if (prefs.getSolutionType().compareTo(
							SolutionType.DETAILLED_SOLUTION) == 0)
						controller.simplify(SolutionType.DETAILLED_SOLUTION);
					else
						controller.simplify(SolutionType.MINIMIZED_FUNCTION);
				}

			}

			@Override
			public void keyReleased(KeyEvent e) {
				// TODO Auto-generated method stub

			}

			@Override
			public void keyTyped(KeyEvent e) {
				// TODO Auto-generated method stub

			}

		});
		Document doc = textField.getDocument();
		doc.addUndoableEditListener(new MyUndoableEditListener());

		lblF = new JLabel(Tools.getLocalizedString("FORMULA"));
		lblF.setBorder(BorderFactory.createCompoundBorder(
				BorderFactory.createCompoundBorder(
						BorderFactory.createTitledBorder(""),
						BorderFactory.createEmptyBorder(6, 6, 6, 6)),
				lblF.getBorder()));
		try {
			action = new ControllerAction(prefs, this.getClass(),
					"LAUNCH_SIMPLIFICATION", controller, "simplify",
					SolutionType.DETAILLED_SOLUTION);
		} catch (NoSuchMethodException ex) {
			throw new RuntimeException(ex);
		}
		validationButton = new JButton(action);

		textField.getDocument().addDocumentListener(new DocumentListener() {

			@Override
			public void changedUpdate(DocumentEvent arg0) {

			}

			@Override
			public void insertUpdate(DocumentEvent arg0) {
				action.setEnabled(true);
				controller.program.setEnabled(
						View.ActionType.MINIMIZED_FUNCTION, true);
				controller.program.setEnabled(
						View.ActionType.DETAILED_SOLUTION, true);

			}

			@Override
			public void removeUpdate(DocumentEvent arg0) {
				if (textField.getText().length() == 0)
					action.setEnabled(false);
				else
					action.setEnabled(true);
			}
		});
		panel.add(validationButton, BorderLayout.EAST);
		panel.add(lblF, BorderLayout.WEST);
		mainPanel.add(panel, BorderLayout.NORTH);

		xHTMLPanel = new XHTMLPanel();

		if (b) {
			try {
				xHTMLPanel.setDocument(new File(Tools
						.getLocalizedString("WELCOME_PAGE")));
			} catch (Exception e) {
				System.err.println(e.getMessage());
			}
		}

		FSScrollPane scroll = new FSScrollPane(xHTMLPanel);
		mainPanel.add(scroll, BorderLayout.CENTER);
		return mainPanel;
	}