Statistics
| Revision:

gvsig-tools / org.gvsig.tools / library / trunk / org.gvsig.tools / org.gvsig.tools.util / org.gvsig.tools.util.api / src / main / java / org / gvsig / webbrowser / WebBrowserPanel.java @ 2886

History | View | Annotate | Download (1.8 KB)

1
/**
2
 * gvSIG. Desktop Geographic Information System.
3
 *
4
 * Copyright (C) 2007-2020 gvSIG Association.
5
 *
6
 * This program is free software; you can redistribute it and/or
7
 * modify it under the terms of the GNU General Public License
8
 * as published by the Free Software Foundation; either version 3
9
 * of the License, or (at your option) any later version.
10
 *
11
 * This program is distributed in the hope that it will be useful,
12
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14
 * GNU General Public License for more details.
15
 *
16
 * You should have received a copy of the GNU General Public License
17
 * along with this program; if not, write to the Free Software
18
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
19
 * MA  02110-1301, USA.
20
 *
21
 * For any additional information, do not hesitate to contact us
22
 * at info AT gvsig.com, or visit our website www.gvsig.com.
23
 */
24
package org.gvsig.webbrowser;
25

    
26
import java.io.IOException;
27
import java.net.URL;
28
import org.gvsig.tools.swing.api.Component;
29

    
30
public interface WebBrowserPanel extends Component {
31
    
32
    public interface WebBrowser extends Component {
33
        public void setPage(URL url) throws IOException;
34
        public String getPage();
35
        public String getTitle();
36
        public void goPrevious();
37
        public void goNext();
38
        public void find(final String text, final boolean backwards);
39
        public void setContent(final String content, final String contentType);
40
    }
41

    
42
    public String getPage();
43

    
44
    public void setPage(URL url);
45

    
46
    public void setPage(String url);
47

    
48
    public String getTitle();
49

    
50
    public void setContent(final String content, final String contentType);
51
    
52
    public void setStatus(String msg);
53
    
54
    public void setURLText(String url);
55
    
56
}