Java EditorComponent.getPreferredSize Examples

Example #1

File: LeftEditorHighlighter.java Project: rkrijgsheld/MPS

 private void updatePreferredSize() {
   int newWidth = myTextColumnWidth + myIconRenderersWidth + getFoldingAreaWidth();
   int newHeight = myEditorComponent.getPreferredSize().height;
   if (myWidth != newWidth || myHeight != newHeight) {
     myWidth = newWidth;
     myHeight = newHeight;
     firePreferredSizeChanged();
   }
 }

Example #2

File: LeftEditorHighlighter.java Project: rkrijgsheld/MPS

 @Override
 public Dimension getPreferredSize() {
   return new Dimension(myWidth + 1, myEditorComponent.getPreferredSize().height);
 }