Method addInfoButton

gui/EventLogPanel.java:214–223

Adds a new button to a log entry panel and attaches a client property into it @param panel Panel where to add the button @param o Client property object to add @param clientProp Client property key to use for the object

(JPanel panel, Object o, String clientProp)

	 * @param clientProp Client property key to use for the object
	 */
	private void addInfoButton(JPanel panel, Object o, String clientProp) {
		JButton hButton;
		hButton = new JButton(o.toString());
		hButton.putClientProperty(clientProp, o);
		hButton.addActionListener(this);
		hButton.setFont(font);
		hButton.setMargin(new Insets(0,0,0,0));
		hButton.setBackground(LOG_BUTTON_BG);
		panel.add(hButton);
	}
	
	/**
	 * Processes a log event