+++ /dev/null
-package org.eclipse.rap.rwt.client;
-
-public interface WebClient {
- public final static String FAVICON = "rcp:FAVICON";
- public final static String PAGE_TITLE = "rcp:PAGE_TITLE";
- public final static String BODY_HTML = "rcp:BODY_HTML";
- public final static String THEME_ID = "rcp:THEME_ID";
- public final static String HEAD_HTML = "rcp:HEAD_HTML";
- public final static String PAGE_OVERFLOW = "rcp:PAGE_OVERFLOW";
-}