|
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.