Return the height of the given line.
        (The height that it would take, if this line became visible.)
435352
def get_height_for_line(self, lineno):
        
        if self.wrap_lines:
            return self.ui_content.get_height_for_line(lineno, self.window_width)
        else:
            return 1
360321
def height(self, container):
        """"""
        height = float(self.get_style('font_size', container))
        script_level = self.script_level(container)
        if script_level > -1:
            height *= self.position_size * (5 / 6)**script_level
        return height
635994
def readline(self, length=None):
        
        if length == 0:
            return b''

        self._fillbuff()

        if self.empty():
            return b''

        linebuff = self.buff.readline(length)

        # we may be at a boundary
        while not linebuff.endswith(b'\n'):
            if length:
                length -= len(linebuff)
                if length <= 0:
                    break

            self._fillbuff()

            if self.empty():
                break

            linebuff += self.buff.readline(length)

        return linebuff
1223290
function getTotalHeight(acediff, editor) {
  const ed = (editor === C.EDITOR_LEFT) ? acediff.editors.left : acediff.editors.right;
  return ed.ace.getSession().getLength() * acediff.lineHeight;
}
1265571
def height(self) -> int:
        """"""
        max_y = -1.0
        for _, y in self.entries.keys():
            max_y = max(max_y, y)
        for h in self.horizontal_lines:
            max_y = max(max_y, h.y)
        for v in self.vertical_lines:
            max_y = max(max_y, v.y1, v.y2)
        return 1 + int(max_y)
490712
def line_nbr_from_position(self, y_pos):
        
        editor = self._editor
        height = editor.fontMetrics().height()
        for top, line, block in editor.visible_blocks:
            if top <= y_pos <= top + height:
                return line
        return -1
861538
function getSize(node) {
  return (node.loc.end.line - node.loc.start.line) + 1;
}
822787
public int getHeight(String text) {

        m_elem.setInnerText(text);
        return CmsDomUtil.getCurrentStyleInt(m_elem, CmsDomUtil.Style.height);
    }
708651
protected float getHeight (TextLayout layout)
    {
        float height = layout.getLeading() + layout.getAscent() + layout.getDescent();
        if ((_style & OUTLINE) != 0) {
            height += 2;
        } else if ((_style & SHADOW) != 0) {
            height += 1;
        }
        return height;
    }
817649
def is_visible(self, x, y):
        
        return ((x >= 0) and
                (x <= self.width) and
                (y >= self._start_line) and
                (y < self._start_line + self.height))
725509
def linewidth(self, linewidth=None):
        """"""

        if linewidth is None:
            return self._linewidth
        else:
            if not is_numeric(linewidth):
                raise TypeError(
                 "linewidth must be number, not '%s'" % str(linewidth)
                )
            self._linewidth = linewidth
814526
def _visible_width(s):
    
    if isinstance(s, _text_type) or isinstance(s, _binary_type):
        return _max_line_width(_strip_invisible(s))
    else:
        return _max_line_width(_text_type(s))
1910
def height(self):
        

        min_height = int(bool(self))
        return max([min_height] + [c.height()+1 for c, p in self.children])
335852
def length(self):
        """"""
        return np.sqrt(np.sum(self**2, axis=1)).view(np.ndarray)
810336
def get_line(thing):
    
    try:
        return inspect.getsourcelines(thing)[1]
    except TypeError:
        # Might be a property
        return inspect.getsourcelines(thing.fget)[1]
    except Exception as e:
        # print(thing)
        raise e
1223742
public int getDisplayHeight() {
    Display display = getWindowManager().getDefaultDisplay();
    if (Build.VERSION.SDK_INT < Build.VERSION_CODES.HONEYCOMB_MR2) {
      return display.getHeight();
    } else {
      final Point size = new Point();
      display.getSize(size);
      return size.y;
    }
  }
13954
public float getStringHeight(String text, FontOptions options)
	{
		StringWalker walker = new StringWalker(text, options);
		walker.walkToEnd();
		return walker.lineHeight();
	}