KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > help > ui > internal > ide > IHelpIdeConstants


1 /*******************************************************************************
2  * Copyright (c) 2000, 2004 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Common Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/cpl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/

11 package org.eclipse.help.ui.internal.ide;
12 /**
13  * Interface for holding UI constants
14  */

15 public interface IHelpIdeConstants {
16     // Help IDE pluging id with a "." for convenience.
17
public static final String JavaDoc HELP_IDE_PLUGIN_ID = HelpIdePlugin.PLUGIN_ID
18             + "."; //$NON-NLS-1$
19
// F1 ids
20
public static final String JavaDoc SEARCH_PAGE = HELP_IDE_PLUGIN_ID + "searchPage"; //$NON-NLS-1$
21
public static final String JavaDoc HIT_MARKER_ID = HELP_IDE_PLUGIN_ID
22             + "helpsearchhit"; //$NON-NLS-1$
23
public static final String JavaDoc HIT_MARKER_ATTR_HREF = "href"; //$NON-NLS-1$
24
public static final String JavaDoc HIT_MARKER_ATTR_LABEL = "label"; //$NON-NLS-1$
25
public static final String JavaDoc HIT_MARKER_ATTR_ORDER = "order"; //$NON-NLS-1$
26
public static final String JavaDoc HIT_MARKER_ATTR_RESULTOF = "resultfof"; //$NON-NLS-1$
27
public static final String JavaDoc RESULTS_PAGE_ID = HELP_IDE_PLUGIN_ID
28             + "searchPage"; //$NON-NLS-1$
29
public static final String JavaDoc IMAGE_KEY_SEARCH = "search_icon"; //$NON-NLS-1$
30
public static final String JavaDoc IMAGE_KEY_TOPIC = "s_topic_icon"; //$NON-NLS-1$
31
public static final String JavaDoc IMAGE_FILE_SEARCH = "e_search_menu.gif"; //$NON-NLS-1$
32
public static final String JavaDoc IMAGE_FILE_TOPIC = "topic.gif"; //$NON-NLS-1$
33
}
34
Popular Tags