//
// This file is part of the Prose Development Tools for Eclipse package.
//
// The contents of this file are subject to the Mozilla Public License
// Version 1.1 (the "License"); you may not use this file except in
// compliance with the License. You may obtain a copy of the License at
// http://www.mozilla.org/MPL/
//
// Software distributed under the License is distributed on an "AS IS" basis,
// WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
// for the specific language governing rights and limitations under the
// License.
//
// The Original Code is Prose Development Tools for Eclipse.
//
// The Initial Developer of the Original Code is Angela Nicoara. Portions
// created by Angela Nicoara are Copyright (C) 2006 Angela Nicoara.
// All Rights Reserved.
//
// Contributor(s):
// $Id: ProsePerspective.java,v 1.1 2008/11/18 12:26:05 anicoara Exp $
// ==============================================================================
//
package ch.ethz.prose.eclipse.internal.ui;
import org.eclipse.debug.ui.IDebugUIConstants;
import org.eclipse.jdt.ui.JavaUI;
import org.eclipse.ui.IFolderLayout;
import org.eclipse.ui.IPageLayout;
import org.eclipse.ui.IPerspectiveFactory;
import org.eclipse.ui.console.IConsoleConstants;
/**
* Prose perspective factory.
*
* @author Angela Nicoara
* @author Johann Gyger
* @version $Id: ProsePerspective.java,v 1.1 2008/11/18 12:26:05 anicoara Exp $
*/
public class ProsePerspective implements IPerspectiveFactory {
/* (non-Javadoc)
* @see org.eclipse.ui.IPerspectiveFactory#createInitialLayout(org.eclipse.ui.IPageLayout)
*/
public void createInitialLayout(IPageLayout layout) {
IFolderLayout prose = layout.createFolder("prose", IPageLayout.BOTTOM, (float) 0.66, layout.getEditorArea());
prose.addView("ch.ethz.prose.eclipse.ProseRunView");
IFolderLayout console = layout.createFolder("console", IPageLayout.RIGHT, (float) 0.45, "prose");
console.addView(IConsoleConstants.ID_CONSOLE_VIEW);
IFolderLayout navigator = layout.createFolder("navigator", IPageLayout.LEFT, (float) 0.25, layout.getEditorArea());
navigator.addView(JavaUI.ID_PACKAGES);
navigator.addView(JavaUI.ID_TYPE_HIERARCHY);
layout.addActionSet(IDebugUIConstants.LAUNCH_ACTION_SET);
layout.addActionSet(IDebugUIConstants.DEBUG_ACTION_SET);
layout.addShowViewShortcut(IDebugUIConstants.ID_DEBUG_VIEW);
layout.addShowViewShortcut(IDebugUIConstants.ID_VARIABLE_VIEW);
layout.addShowViewShortcut(IDebugUIConstants.ID_BREAKPOINT_VIEW);
layout.addShowViewShortcut(IDebugUIConstants.ID_EXPRESSION_VIEW);
layout.addShowViewShortcut(IPageLayout.ID_OUTLINE);
layout.addShowViewShortcut(IConsoleConstants.ID_CONSOLE_VIEW);
layout.addShowViewShortcut(IPageLayout.ID_TASK_LIST);
}
}