Permalink
Browse files

dependencies, defensive code

  • Loading branch information...
JPMoresmau committed Oct 15, 2012
1 parent 66918d4 commit 735c85a02599359e84ed3b5a21c86f2ebf1254e1
@@ -168,4 +168,11 @@ available at http://www.eclipse.org/legal/epl-v10.html.
version="2.3.1"
unpack="false"/>
+ <plugin
+ id="net.sf.eclipsefp.haskell.profiler"
+ download-size="0"
+ install-size="0"
+ version="2.3.2"
+ unpack="false"/>
+
</feature>
@@ -106,13 +106,12 @@ protected void postProcessFinished(final ILaunchConfiguration configuration) {
}
final File fileToOpen = new File( newFilename );
-
Display.getDefault().syncExec( new Runnable() {
@Override
public void run() {
try {
- if( fileToOpen.exists() && fileToOpen.isFile() ) {
+ if( fileToOpen.exists() && fileToOpen.isFile() && fileToOpen.length()>0) {
// Refresh workspace
if ( projectName != null ) {
IProject p = ResourcesPlugin.getWorkspace().getRoot().getProject( projectName );
@@ -2,23 +2,25 @@ Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: %bundleName
Bundle-SymbolicName: net.sf.eclipsefp.haskell.profiler;singleton:=true
-Bundle-Version: 2.3.0
+Bundle-Version: 2.3.2
Bundle-Activator: net.sf.eclipsefp.haskell.profiler.ProfilerPlugin
Require-Bundle: org.eclipse.core.resources,
org.eclipse.core.commands,
+ org.eclipse.core.runtime,
org.eclipse.jface,
org.eclipse.ui.ide,
+ org.eclipse.ui.workbench,
+ org.eclipse.core.jobs,
org.eclipse.ui.forms,
org.eclipse.birt.chart.ui;resolution:=optional,
org.eclipse.birt.chart.engine.extension;resolution:=optional,
- org.eclipse.core.jobs,
org.eclipse.emf.ecore;resolution:=optional,
org.eclipse.birt.core;resolution:=optional,
org.eclipse.birt.chart.engine;resolution:=optional,
- org.eclipse.ui.workbench
+ net.sf.eclipsefp.haskell.ui;bundle-version="2.3.2",
+ org.eclipse.birt.chart;resolution:=optional,
+ org.eclipse.birt.chart.device.swt;resolution:=optional
Bundle-ActivationPolicy: lazy
Bundle-RequiredExecutionEnvironment: JavaSE-1.6
Bundle-Vendor: %bundleVendor
Bundle-Localization: plugin
-Import-Package: org.eclipse.core.runtime,
- org.eclipse.swt.widgets
@@ -1,35 +1,36 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<?eclipse version="3.4"?>
-<plugin>
- <extension
- point="org.eclipse.team.core.fileTypes">
- <fileTypes
- extension="hp"
- type="text">
- </fileTypes>
- </extension>
- <extension
- point="org.eclipse.core.contenttype.contentTypes">
- <content-type
- base-type="org.eclipse.core.runtime.text"
- file-extensions="hp"
- id="net.sf.eclipsefp.haskell.contenttypes.profiler"
- name="%contenttypeProfilerName"
- priority="normal">
- </content-type>
- </extension>
- <extension
- point="org.eclipse.ui.editors">
- <editor
- class="net.sf.eclipsefp.haskell.profiler.internal.editors.ProfilerViewer"
- contributorClass="net.sf.eclipsefp.haskell.profiler.actions.ProfilerViewerActionContributor"
- extensions="hp"
- id="net.sf.eclipsefp.haskell.profiler.internal.editors.ProfilerViewer"
- name="%profilerViewerName">
- <contentTypeBinding
- contentTypeId="net.sf.eclipsefp.haskell.contenttypes.profiler">
- </contentTypeBinding>
- </editor>
- </extension>
-
-</plugin>
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.4"?>
+<plugin>
+ <extension
+ point="org.eclipse.team.core.fileTypes">
+ <fileTypes
+ extension="hp"
+ type="text">
+ </fileTypes>
+ </extension>
+ <extension
+ point="org.eclipse.core.contenttype.contentTypes">
+ <content-type
+ base-type="org.eclipse.core.runtime.text"
+ file-extensions="hp"
+ id="net.sf.eclipsefp.haskell.contenttypes.profiler"
+ name="%contenttypeProfilerName"
+ priority="normal">
+ </content-type>
+ </extension>
+ <extension
+ point="org.eclipse.ui.editors">
+ <editor
+ class="net.sf.eclipsefp.haskell.profiler.internal.editors.ProfilerViewer"
+ contributorClass="net.sf.eclipsefp.haskell.profiler.actions.ProfilerViewerActionContributor"
+ extensions="hp"
+ id="net.sf.eclipsefp.haskell.profiler.internal.editors.ProfilerViewer"
+ default="true"
+ name="%profilerViewerName">
+ <contentTypeBinding
+ contentTypeId="net.sf.eclipsefp.haskell.contenttypes.profiler">
+ </contentTypeBinding>
+ </editor>
+ </extension>
+
+</plugin>
Oops, something went wrong.

0 comments on commit 735c85a

Please sign in to comment.