|
What this is
Other links
The source code
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<plugin>
<!-- Extensions -->
<extension
point="org.eclipse.ui.views">
<category
name="%views.category.name"
id="org.eclipse.pde.runtime">
</category>
<view
name="%views.registry.name"
icon="$nl$/icons/eview16/registry.gif"
category="org.eclipse.pde.runtime"
class="org.eclipse.pde.internal.runtime.registry.RegistryBrowser"
id="org.eclipse.pde.runtime.RegistryBrowser">
</view>
<view
name="%views.errorLog.name"
icon="$nl$/icons/eview16/error_log.gif"
category="org.eclipse.pde.runtime"
class="org.eclipse.pde.internal.runtime.logview.LogView"
id="org.eclipse.pde.runtime.LogView">
</view>
</extension>
<extension
point="org.eclipse.ui.commands">
<command
name="%ViewCommand.registryBrowser.name"
description="%ViewCommand.registryBrowser.description"
categoryId="org.eclipse.ui.category.views"
id="org.eclipse.pde.runtime.RegistryBrowser">
</command>
<command
name="%ViewCommand.logView.name"
description="%ViewCommand.logView.description"
categoryId="org.eclipse.ui.category.views"
id="org.eclipse.pde.runtime.LogView">
</command>
</extension>
<extension
point="org.eclipse.ui.perspectiveExtensions">
<perspectiveExtension
targetID="org.eclipse.ui.resourcePerspective">
<viewShortcut
id="org.eclipse.pde.runtime.LogView">
</viewShortcut>
</perspectiveExtension>
<perspectiveExtension
targetID="org.eclipse.jdt.ui.JavaPerspective">
<viewShortcut
id="org.eclipse.pde.runtime.LogView">
</viewShortcut>
</perspectiveExtension>
<perspectiveExtension
targetID="org.eclipse.debug.ui.DebugPerspective">
<viewShortcut
id="org.eclipse.pde.runtime.LogView">
</viewShortcut>
</perspectiveExtension>
<perspectiveExtension
targetID="org.eclipse.jdt.ui.JavaBrowsingPerspective">
<viewShortcut
id="org.eclipse.pde.runtime.LogView">
</viewShortcut>
</perspectiveExtension>
</extension>
</plugin>
|
| ... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 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.