/external/javassist/sample/rmi/ |
Counter.java | 24 AppletServer web = new AppletServer(args[0]);
local 25 web.exportObject("counter", new Counter());
26 web.run();
|
CountApplet.java | 8 import javassist.tools.web.Viewer;
|
/external/chromium/chrome/browser/resources/options/ |
advanced_options.css | 16 #advancedPage .web-content-select-label { 20 #advancedPage .web-content-select-label > span:only-of-type {
|
/external/javassist/src/main/javassist/tools/web/ |
BadHttpRequest.java | 16 package javassist.tools.web;
|
Webserver.java | 16 package javassist.tools.web; 24 * A web server for running sample programs. 27 * web browsers for applets. Since the (standard) security manager 29 * instrumenting class files must be done by this web server. 32 * it is provided as a sample implementation of the web server using 74 * Starts a web server. 79 Webserver web = new Webserver(args[0]); local 80 web.run(); 84 "Usage: java javassist.tools.web.Webserver <port number>"); 88 * Constructs a web server 392 Webserver web; field in class:ServiceThread [all...] |
Viewer.java | 16 package javassist.tools.web; 30 * <ul><code>% java javassist.tools.web.Viewer <i>host port</i> Main arg1, ...</code></ul> 66 "Usage: java javassist.tools.web.Viewer <host> <port> class [args ...]"); 141 || name.equals("javassist.tools.web.Viewer"))
|
/external/eigen/scripts/ |
eigen_gen_docs | 16 rsync -az --no-p --delete build/doc/html/ $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/dox-devel/ || { echo "upload failed"; exit 1; } 19 ssh $USER@ssh.tuxfamily.org 'chmod -R g+w /home/eigen/eigen.tuxfamily.org-web/htdocs/dox-devel' || { echo "perm failed"; exit 1; }
|
/external/javassist/sample/evolve/ |
DemoServer.java | 3 import javassist.tools.web.*;
7 * A web server for demonstrating class evolution. It must be
10 * If a html file /java.html is requested, this web server calls
15 * similar to a CGI script or a servlet. The web server never
16 * sends the class file of WebPage to web browsers.
18 * Furthermore, if a html file /update.html is requested, this web
30 DemoServer web = new DemoServer(Integer.parseInt(args[0]));
local 31 web.run();
|
/packages/apps/Browser/src/com/android/browser/ |
SnapshotTab.java | 56 WebView web = mWebViewFactory.createWebView(false); local 57 setWebView(web); 64 WebView web = mWebViewFactory.createWebView(false); local 66 web.setBackgroundColor(mBackgroundColor); 68 setWebView(web); 214 WebViewClassic web = mTab.getWebViewClassic(); local 215 if (web != null) { 218 web.loadViewState(stream);
|
UrlBarAutoShowManager.java | 119 WebView web = (WebView) v; local 128 && (web.getVisibleTitleHeight() == 0 129 || (!mIsScrolling && web.getScrollY() > 0))) {
|
XLargeUi.java | 119 BrowserWebView web = (BrowserWebView) mUiController.getCurrentWebView(); local 120 if (web != null && BrowserWebView.isClassic()) { 121 WebViewClassic.fromWebView(web).stopScroll(); 247 WebView web = mActiveTab.getWebView(); local 253 if ((web != null) && web.hasFocus() && !mTitleBar.hasFocus()) {
|
TitleBar.java | 413 WebView web = getCurrentWebView(); local 414 if (FOCUS_DOWN == dir && hasFocus() && web != null 415 && web.hasFocusable() && web.getParent() != null) { 416 return web;
|
BaseUi.java | 274 WebView web = mActiveTab.getWebView(); local 275 if (web != null) { 276 web.setOnTouchListener(null); 280 BrowserWebView web = (BrowserWebView) mActiveTab.getWebView(); local 283 if (web != null) { 287 web.setTitleBar(null); 290 web.setTitleBar(mTitleBar); 305 WebView web = mActiveTab != null ? mActiveTab.getWebView() : null; local 306 if (!mUseQuickControls && web instanceof BrowserWebView) { 307 mUrlBarAutoShowManager.setTarget((BrowserWebView) web); 457 WebView web = getWebView(); local [all...] |
PhoneUi.java | 479 public void set(TitleBar tbar, WebView web) { 480 if (tbar == null || web == null) { 500 int h = web.getHeight() - tbar.getEmbeddedHeight(); 502 || mContentBitmap.getWidth() != web.getWidth() 504 mContentBitmap = safeCreateBitmap(web.getWidth(), h); 508 int tx = web.getScrollX(); 509 int ty = web.getScrollY(); 511 web.draw(c);
|
NavigationBarPhone.java | 146 WebView web = mBaseUi.getWebView(); local 147 if (web != null) { 149 web.reload();
|
PieControl.java | 199 WebView web = tab.getWebView(); local 206 web.stopLoading(); 208 web.reload();
|
TabControl.java | 686 WebView web = t.getWebView(); local 687 if (web != null) { 688 web.setPictureListener(listener != null ? t : null);
|
/external/bison/build-aux/ |
gnu-web-doc-update | 2 # Run this after each non-alpha release, to update the web documentation at 37 release, to update the web documentation at 136 tmp_branch=web-doc-$version-$$ 163 make web-manual 167 tmp=$(mktemp -d web-doc-update.XXXXXX) || exit 1
|
/packages/apps/QuickSearchBox/src/com/android/quicksearchbox/ |
WebCorpus.java | 36 * The web search source. 42 private static final String WEB_CORPUS_NAME = "web"; 65 public void setWebSource(Source web) { 66 if (DBG) Log.d(TAG, "setWebSource(" + web + ")"); 67 mWebSearchSource = web; 75 // The web corpus uses a drawable hint instead
|
/packages/screensavers/WebView/src/com/android/dreams/web/ |
SetURL.java | 17 package com.android.dreams.web;
|
SetURLInteractive.java | 17 package com.android.dreams.web;
|
Screensaver.java | 17 package com.android.dreams.web;
|
/external/chromium/chrome/browser/resources/ntp/ |
apps.css | 132 .app.web-store-entry > a { 176 We position the web store entry all by its lonesome in the top of the rightmost 181 .app.web-store-entry.loner { 187 html[dir=rtl] .app.web-store-entry.loner {
|
/packages/apps/Browser/tests/src/com/android/browser/ |
IntentHandlerTests.java | 116 WebView web = tab.getWebView(); 117 web.loadUrl(url);
|
/external/chromium/chrome/browser/resources/picasaweb_uploader/js/ |
picasa_client.js | 80 * web server. 157 * Get user credential for picasa web server. 226 * Sends request to web server. 253 * Gets the feed from web server and parses it. Appends user credentials. 270 * Posts the feed to web server. Appends user credentials.
|