Java Padding Examples

Example #1

File: Panel.java Project: rideg/jtext

 @Override
 public void draw(Graphics graphics) {
   background.ifPresent(graphics::fillBackground);
   graphics.drawBorder(border);
   super.draw(graphics.restrict(padding.include(border).apply(graphics.getArea().getDimension())));
 }

Example #2

File: Panel.java Project: rideg/jtext

 @Override
 public void setArea(Rectangle area) {
   super.setArea(padding.include(border).apply(area));
 }

Example #3

File: Panel.java Project: rideg/jtext

 public Panel(
     final Layout<Widget> layout,
     final Occupation preferredWith,
     final Occupation preferredHeight) {
   this(layout, preferredWith, preferredHeight, Border.no(), Padding.no(), Optional.empty());
 }