Package ket.display.box

Examples of ket.display.box.BorderedBox

44
45
46
47
48
49
50
  @Override
  public Box toBox(Argument argument, Vector<Box> boxArgs, long settings, ColourScheme colourScheme) {
    if (boxArgs.size()!=1) {
      return super.toBox(argument, boxArgs, settings, colourScheme);
    }
    return new BorderedBox(argument, boxArgs.firstElement(), settings, false, colourScheme);
  }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
    } else if (message.getMode()==Message.APPEND_MODE) {
      // WARNING: Message box's contents can't be found with findDeepestArgument() if they have a null argument.
      BoxWord gapBox = new BoxWord(KET_PANEL, "|", 0L);
      messageBoxList = BoxTools.centredHorizontalBoxList(KET_PANEL, 0L, startBoxWord, gapBox, endBoxWord);
      //- messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme.getPlainTextColour(), colourScheme);
      messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme);
    } else if (messageString.length()>0) { // Echo and error modes.
      // TODO: Don't display the cursor in error or echo responder: only in edit responder.
      messageBoxList = BoxTools.centredHorizontalBoxList(MESSAGE, 0L, startBoxWord, endBoxWord);
      //- messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme.getPlainTextColour(), colourScheme);
      messageBox = new BorderedBox(MESSAGE, messageBoxList, Box.X_CENTRE_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme);
    } else {
      this.messageBoxList = null;
      this.messageBox = null;
    }
  }
View Full Code Here
129
130
131
132
133
134
135
    String details = ds.getDetails(); // An optional sub-heading to the label.
    if (details!=null) {
      Box detailsBox = new BoxText(MODE, details, 0L); // Subscript?
      this.modeBox = BoxTools.centredVerticalBoxList(MODE, 0L, this.modeBox, detailsBox);
    }
    this.modeBox = new BorderedBox(MODE, this.modeBox, Box.RIGHT_ALIGN|Box.BOTTOM_ALIGN, false, colourScheme);
  }
View Full Code Here
633
634
635
636
637
638
639
640
641
642
643
      label.actualX = centreX + label.x - large;
      label.actualY = centreY + label.y - large;

      BoxText content = new BoxText(null, " " + label.name + " " , Box.RIGHT_ALIGN|Box.BOTTOM_ALIGN);
      Color colour = colourScheme.getBorderColour(); // This doesn't appear appear to be used.
      Box border = new BorderedBox(null, content, Box.X_CENTRE_ALIGN|Box.Y_CENTRE_ALIGN, highlight, colourScheme);

      Position centre = new Position(label.actualX, label.actualY);
      border.setupAndPaint(g2D, colourScheme, Box.DEFAULT_BOX_FONT_SIZE, centre, new Offset(2*large, 2*large), background);
    }
  }
View Full Code Here
TOP

Related Classes of ket.display.box.BorderedBox

  • geom.Offset
  • geom.Position
  • ket.display.BorderedColourSchemeDecorator
  • ket.math.purpose.function.FunctionBorder
  • ketUI.panel.GraphDisplay
  • ketUI.panel.PanelDecoration
  • java.awt.GradientPaint
  • java.awt.Color
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.