89afcf8aaaba3732b1da06f372119f2c7d87746b
[phpeclipse.git] /
1 package org.eclipse.webbrowser;
2 /**
3  * 
4  */
5 public interface IExternalWebBrowserWorkingCopy extends IExternalWebBrowser {
6         public void setName(String name);
7
8         public void setLocation(String location);
9         
10         public void setParameters(String params);
11         
12         public IExternalWebBrowser save();
13 }