PageRenderTime 81ms CodeModel.GetById 77ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/org/gjt/sp/jedit/help/HelpViewerInterface.java

#
Java | 40 lines | 14 code | 7 blank | 19 comment | 0 complexity | 8fd08021102a7766dc9ce25ca1c0ae6f MD5 | raw file
 1package org.gjt.sp.jedit.help;
 2
 3import java.awt.Component;
 4import java.beans.PropertyChangeListener;
 5
 6/**
 7 * Interface supported by all HelpViewer classes.
 8 * Currently used by @ref infoviewer.InfoViewerPlugin and @ref HelpViewer 
 9 * 
10 * @since Jedit 4.2pre5
11 * @version $Id: HelpViewerInterface.java 5417 2006-05-19 22:33:12Z ezust $
12 */
13public interface HelpViewerInterface 
14{
15	
16	/**
17	 * 
18	 * @param url
19	 * @param addToHistory 
20	 * @param scrollPos desired vertical scrollbar position after we go there
21	 */
22	public void gotoURL(String url, boolean addToHistory, int scrollPos);
23	
24	public String getBaseURL();
25	
26	public void addPropertyChangeListener(PropertyChangeListener l);
27	
28	/**
29	 * Called when the helpviewer is closed
30	 */
31	public void dispose();
32	/**
33	 * @return the root pane of this help viewer
34	 */
35	public Component getComponent();
36	public String getShortURL();
37	
38	public void queueTOCReload();
39	public void setTitle(String newTitle);
40}