blob: c17f02e4a3e87c333e39895419f8bfc0a6a4848e [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<!--
#=============================================================================#
# Copyright (c) 2008, 2019 Stephan Wahlbrink and others.
#
# This program and the accompanying materials are made available under the
# terms of the Eclipse Public License 2.0 which is available at
# https://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0
# which is available at https://www.apache.org/licenses/LICENSE-2.0.
#
# SPDX-License-Identifier: EPL-2.0 OR Apache-2.0
#
# Contributors:
# Tobias Verbeke - initial implementation
#=============================================================================#
-->
<cheatsheet title="Set StatET as the Default Perspective">
<intro>
<description>
This cheat sheet shows how to set StatET as the
initial perspective for newly created Eclipse workbench windows.
</description>
</intro>
<item
dialog="true"
href="/org.eclipse.platform.doc.user/tasks/tasks-31.htm"
skip="false"
title="Open perspectives preferences and set the default">
<description>
Go to <b>Window &gt; Preferences &gt; General &gt; Perspectives</b>.
<br/><br/>
Select <b>StatET</b> from the list of available perspectives and click on
<b>Make Default</b>
<br/><br/>
Click on <b>Apply</b> and <b>OK</b> to close the Preferences window.
</description>
<command
confirm="false"
required="false"
serialization="org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Perspectives)">
</command>
</item>
</cheatsheet>