org.eclipse.jdt.debug.ui/ui/org/eclipse/jdt/internal/debug/ui/launcher/JavaAppletLaunchShortcut.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.24, Mon May 8 20:35:08 2006 UTC revision 1.25, Thu Jan 25 15:55:18 2007 UTC
# Line 1  Line 1 
1  /*******************************************************************************  /*******************************************************************************
2   * Copyright (c) 2000, 2006 IBM Corporation and others.   * Copyright (c) 2000, 2007 IBM Corporation and others.
3   * All rights reserved. This program and the accompanying materials   * All rights reserved. This program and the accompanying materials
4   * are made available under the terms of the Eclipse Public License v1.0   * are made available under the terms of the Eclipse Public License v1.0
5   * which accompanies this distribution, and is available at   * which accompanies this distribution, and is available at
# Line 39  Line 39 
39                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_WIDTH, AppletParametersTab.DEFAULT_APPLET_WIDTH);                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_WIDTH, AppletParametersTab.DEFAULT_APPLET_WIDTH);
40                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_HEIGHT, AppletParametersTab.DEFAULT_APPLET_HEIGHT);                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_HEIGHT, AppletParametersTab.DEFAULT_APPLET_HEIGHT);
41                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_NAME, ""); //$NON-NLS-1$                          wc.setAttribute(IJavaLaunchConfigurationConstants.ATTR_APPLET_NAME, ""); //$NON-NLS-1$
42                          wc.setMappedResources(new IResource[] {type.getJavaProject().getProject()});                          //CONTEXTLAUNCHING
43                            wc.setMappedResources(new IResource[] {type.getUnderlyingResource()});
44                          config = wc.doSave();                          config = wc.doSave();
45                  } catch (CoreException ce) {                  } catch (CoreException ce) {
46                          reportErorr(ce);                          reportErorr(ce);
Legend:
Removed from v.1.24  
changed lines
  Added in v.1.25