HomeSort by relevance Sort by last modified time
    Searched refs:HEADER_HEIGHT (Results 1 - 4 of 4) sorted by null

  /external/doclava/res/assets/templates/assets/
doclava-developer-docs.js 6 var HEADER_HEIGHT = -1;
91 var windowHeight = ($(window).height() - HEADER_HEIGHT);
144 HEADER_HEIGHT = $("#header").height()+3;
234 var windowHeight = ($(window).height() - HEADER_HEIGHT);
252 var windowHeight = ($(window).height() - HEADER_HEIGHT);
  /build/tools/droiddoc/templates-pdk/assets/
android-developer-docs.js 6 var HEADER_HEIGHT = 117;
91 var windowHeight = ($(window).height() - HEADER_HEIGHT);
308 var windowHeight = ($(window).height() - HEADER_HEIGHT);
327 var windowHeight = ($(window).height() - HEADER_HEIGHT);
  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
RenderPreview.java 115 private static final int HEADER_HEIGHT = 20;
777 if (y >= mTitleHeight && y < mTitleHeight + HEADER_HEIGHT) {
    [all...]
  /external/chromium_org/chrome/browser/resources/file_manager/foreground/js/media/
audio_player.js 432 AudioPlayer.HEADER_HEIGHT = 28;
485 window.resizeTo(window.innerWidth, targetHeight + AudioPlayer.HEADER_HEIGHT);

Completed in 75 milliseconds