| <?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 > Preferences > General > 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> |