ide/src/wombat/gui/frames/MainFrame.java
public void showView(String which) {
		View view = ViewMap.getView(which);
		
		if (!view.isShowing()) {
			if (view.getSize().width == 0 || view.getSize().height == 0)
				view.setSize(500, 500);
			
			FloatingWindow win = Root.createFloatingWindow(getLocation(), view.getSize(), view);
			win.getTopLevelAncestor().setVisible(true);
		}
	}
/**
	 * Show the given view.
	 * @param which Which display we are writing to.
	 */
Show the given view.
@param which Which display we are writing to.
Show the given view . @param which Which display we are writing to .
public void showView(String which) {
		View view = ViewMap.getView(which);
		if (!view.isShowing()) {
			if (view.getSize().width == 0 || view.getSize().height == 0)
				view.setSize(500, 500);
			FloatingWindow win = Root.createFloatingWindow(getLocation(), view.getSize(), view);
			win.getTopLevelAncestor().setVisible(true);
		}
	}
public void showView ( String which ) { View view = ViewMap . getView ( which ) ; if ( ! view . isShowing ( ) ) { if ( view . getSize ( ) . width == 0 || view . getSize ( ) . height == 0 ) view . setSize ( 500 , 500 ) ; FloatingWindow win = Root . createFloatingWindow ( getLocation ( ) , view . getSize ( ) , view ) ; win . getTopLevelAncestor ( ) . setVisible ( true ) ; } }
Show the given view.
Show the given view .