|
What this is
Other links
The source code<?xml version="1.0" encoding="UTF-8"?> <?eclipse version="3.0"?> <plugin> <extension point="org.eclipse.ui.preferencePages"> <page name="%Preferences.Undo" class="org.eclipse.ui.examples.undo.preferences.UndoPreferencePage" id="org.eclipse.ui.examples.undo.preferences.UndoPreferencePage"> </page> </extension> <extension point="org.eclipse.core.runtime.preferences"> <initializer class="org.eclipse.ui.examples.undo.preferences.PreferenceInitializer"> </initializer> </extension> <extension point="org.eclipse.ui.views"> <category name="%Views.Category" id="org.eclipse.ui.examples.undo"> </category> <view name="%Views.boxView" icon="icons/sample.gif" category="org.eclipse.ui.examples.undo" class="org.eclipse.ui.examples.undo.views.BoxView" id="org.eclipse.ui.examples.undo.views.BoxView"> </view> </extension> <extension point="org.eclipse.ui.views"> <category name="%Views.Category" id="org.eclipse.ui.examples.undo"/> <view class="org.eclipse.ui.examples.undo.views.UndoHistoryView" icon="icons/sample.gif" category="org.eclipse.ui.examples.undo" name="%Views.historyView" id="org.eclipse.ui.examples.undo.views.UndoHistoryView"/> </extension> </plugin> |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.