Lines Matching refs:width
27 // Box and Glue have width only.
28 // Penalty has both width and penalty.
30 public final float width;
36 private Primitive(@NonNull PrimitiveType type, int location, float width, float penalty) {
39 this.width = width;
45 * Something with a constant width that is to be typeset - like a character.
49 * Blank space with fixed width.
61 * For tabs - variable width space.
83 public Primitive getNewPrimitive(int location, float width, float penalty) {
85 return new Primitive(this, location, width, penalty);