B2G/gecko/browser/devtools/webconsole/HUDService.jsm
/**
   * Remember the height of the given Web Console, such that it can later be
   * reused when other Web Consoles are open.
   *
   * @param string aHUDId The ID of the Web Console.
   */
Remember the height of the given Web Console, such that it can later be
reused when other Web Consoles are open.

@param string aHUDId The ID of the Web Console.
Remember the height of the given Web Console such that it can later be reused when other Web Consoles are open . @param string aHUDId The ID of the Web Console .
function HS_storeHeight(aHUDId)
  {
    let hudBox = this.hudReferences[aHUDId].iframe;
    let window = hudBox.ownerDocument.defaultView;
    let style = window.getComputedStyle(hudBox, null);
    let height = parseInt(style.height);
    height += parseInt(style.borderTopWidth);
    height += parseInt(style.borderBottomWidth);
    this.lastConsoleHeight = height;
    let pref = Services.prefs.getIntPref("devtools.hud.height");
    if (pref > -1) {
      Services.prefs.setIntPref("devtools.hud.height", height);
    }
  }
function HS_storeHeight ( aHUDId ) { let hudBox = this . hudReferences [ aHUDId ] . iframe ; let window = hudBox . ownerDocument . defaultView ; let style = window . getComputedStyle ( hudBox , null ) ; let height = parseInt ( style . height ) ; height += parseInt ( style . borderTopWidth ) ; height += parseInt ( style . borderBottomWidth ) ; this . lastConsoleHeight = height ; let pref = Services . prefs . getIntPref ( "devtools.hud.height" ) ; if ( pref > - 1 ) { Services . prefs . setIntPref ( "devtools.hud.height" , height ) ; } }
Remember the height of the given Web Console, such that it can later be
 reused when other Web Consoles are open.
Remember the height of the given Web Console such that it can later be reused when other Web Consoles are open .