content: // This file is part of AceWiki.
  // Copyright 2008-2013, AceWiki developers.
  // 
  // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU
  // Lesser General Public License as published by the Free Software Foundation, either version 3 of
  // the License, or (at your option) any later version.
  // 
  // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
  // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  // Lesser General Public License for more details.
  // 
  // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If
  // not, see http://www.gnu.org/licenses/.
  
  package ch.uzh.ifi.attempto.acewiki.gui;
  
  import nextapp.echo.app.Font;
  import nextapp.echo.app.Insets;
  import nextapp.echo.app.Row;
  import ch.uzh.ifi.attempto.acewiki.Wiki;
  import ch.uzh.ifi.attempto.echocomp.SolidLabel;
  
  /**
   * This page shows an error message. It is used if a page should be shown that does not
   * exist anymore, e.g. because its ontology element has been deleted.
   * 
   * @author Tobias Kuhn
   */
  public class ErrorPage extends WikiPage {
  	
  	private static final long serialVersionUID = -3853876045940143810L;
  	
  	private String text;
  	
  	/**
  	 * Creates a new error page.
  	 * 
  	 * @param wiki The wiki instance.
  	 * @param text The error text.
  	 */
  	public ErrorPage(Wiki wiki, String text) {
  		super(wiki);
  		this.text = text;
  		
  		add(new Title(Wiki.getGUIText("acewiki_page_error"), true));
  		addHorizontalLine();
  		
  		Row textRow = new Row();
  		textRow.setInsets(new Insets(10, 10, 10, 15));
  		textRow.add(new SolidLabel(text, Font.ITALIC));
  		add(textRow);
  	}
  
  	public boolean equals(Object obj) {
  		if (obj instanceof ErrorPage) {
  			return text.equals(((ErrorPage) obj).text);
  		}
  		return false;
  	}
  	
  	public String toString() {
  		return "-ERROR-";
  	}
  
  }
  