Java EditorCell_Brace Examples

Example #1

File: EditorCell_Collection.java Project: Guojin118/MPS-1

 public void enableBraces() {
   setBracesEnabled(true);
   myOpeningBrace.setEnabled(true);
   myClosingBrace.setEnabled(true);
   // COLORS: Remove hardcoded color
   getEditor().leftHighlightCell(this, new Color(80, 0, 120));
 }

Example #2

File: EditorCell_Collection.java Project: Guojin118/MPS-1

 public void disableBraces() {
   setBracesEnabled(false);
   myOpeningBrace.setEnabled(false);
   myClosingBrace.setEnabled(false);
   getEditor().leftUnhighlightCell(this);
 }

Example #3

File: EditorCell_Collection.java Project: Guojin118/MPS-1

 @Override
 public int getBracesIndent() {
   int naturalIndent = usesBraces() ? myOpeningBrace.getWidth() : 0;
   return Math.max(myArtificialBracesIndent, naturalIndent);
 }

Example #4

File: EditorCell_Collection.java Project: Guojin118/MPS-1

 public BraceCellInfo(EditorCell_Brace cell) {
   super(cell);
   myOpeningBrace = cell.myIsOpening;
   myCollectionCellInfo = cell.getParent().getCellInfo();
 }