org.eclipse.help.ui/Eclipse Help UI/org/eclipse/help/internal/ui/IHelpUIConstants.java

package org.eclipse.help.internal.ui;

/*
 * Licensed Materials - Property of IBM,
 * WebSphere Studio Workbench
 * (c) Copyright IBM Corp 2000
 */

import java.lang.*;

/**
 * Interface for holding UI constants
 */

public interface IHelpUIConstants {

	// Help UI pluging id with a "." for convenience.
	public static final String HELP_UI_ID = "org.eclipse.help.ui.";

	// F1 ids
	public static final String EMBEDDED_HELP_VIEW = HELP_UI_ID + "embeddedHelpView";
	public static final String COPY_ACTION = HELP_UI_ID + "copyAction";
	public static final String HOME_ACTION = HELP_UI_ID + "homeAction";
	public static final String BACK_ACTION = HELP_UI_ID + "backAction";
	public static final String FORWARD_ACTION = HELP_UI_ID + "forwardAction";
	public static final String PRINT_ACTION = HELP_UI_ID + "printAction";
	public static final String SYNCH_ACTION = HELP_UI_ID + "synchronizeAction";
	public static final String SHOW_HIDE_ACTION = HELP_UI_ID + "showHideAction";
	public static final String F1_SHELL = HELP_UI_ID + "f1Shell";
	public static final String PREF_PAGE = HELP_UI_ID + "prefPage";
	public static final String INSTALL_OPTIONS = HELP_UI_ID + "installOptions";
	public static final String BROWSER_PATH = HELP_UI_ID + "browserPath";
	public static final String LOGGING_OPTIONS = HELP_UI_ID + "loggingOptions";
	public static final String LOCAL_SERVER_CONFIG =
		HELP_UI_ID + "localServerConfig";
	public static final String BROWSER = HELP_UI_ID + "browser";
	public static final String NAVIGATION_VIEWER = HELP_UI_ID + "navigationViewer";
	public static final String SEARCH_PAGE = HELP_UI_ID + "searchPage";
	public static final String TOPICS_VIEWER = HELP_UI_ID + "topicsViewer";
	public static final String RESULTS_VIEWER = HELP_UI_ID + "resultsViewer";

}