Searched refs:margin_width (Results 1 – 2 of 2) sorted by relevance
77 protected int margin_width; // Left and right margins field in MultiLineLabel162 int margin_width, int margin_height, in MultiLineLabel() argument166 this.margin_width = margin_width; in MultiLineLabel()171 int margin_width, int margin_height) { in MultiLineLabel() argument172 this(label, maxChars, margin_width, margin_height, LEFT); in MultiLineLabel()226 public void setMarginWidth(int mw) { margin_width = mw; repaint(); } in setMarginWidth()230 public int getMarginWidth() { return margin_width; } in getMarginWidth()247 return new Dimension(max_width + 2*margin_width, in preferredSize()
111 int margin_width; /* The total number of columns used by the indentation */ in _io_display_text() local145 margin_width = indentation + prefix_len; in _io_display_text()164 if(prefix_len > 0 && last < margin_width) { in _io_display_text()169 last = margin_width; in _io_display_text()184 (nnew==0 && last==margin_width)); i++) { in _io_display_text()