Changeset 3169 for trunk/sources/HeuristicLab.Operators.Views.GraphVisualization

Timestamp:

03/22/10 13:40:32 (15 years ago)

Author:

mkommend

Message:

adapted OperatorShapeInfo to resize header section according to the title string (ticket #867)

File:

• trunk/sources/HeuristicLab.Operators.Views.GraphVisualization/3.3/Model/OperatorShape.cs (modified) (6 diffs)

trunk/sources/HeuristicLab.Operators.Views.GraphVisualization/3.3/Model/OperatorShape.cs

@@ -35 +35 @@
     private static int LABEL_WIDTH = 180;
     private static int LABEL_SPACING = 3;
-    private static int HEADER_HEIGHT = 30;
+    private int headerHeight = 30;
 
     private ExpandableIconMaterial expandIconMaterial;
@@ -168 +168 @@
     private Size CalculateSize() {
       int width = this.Rectangle.Width;
-      int height = HEADER_HEIGHT;
+      int height = headerHeight;
       if (!Collapsed)
         height += this.labels.Count * (LABEL_HEIGHT + LABEL_SPACING);
@@ -189 +189 @@
 
       //the initial size
-      this.Transform(0, 0, 200, HEADER_HEIGHT);
+      this.Transform(0, 0, 200, headerHeight);
       this.color = Color.LightBlue;
 
@@ -218 +218 @@
       g.SmoothingMode = SmoothingMode.HighQuality;
 
-      Pen pen = new Pen(lineColor,lineWidth);
+      Pen pen = new Pen(lineColor, lineWidth);
+
+      SizeF titleSize = g.MeasureString(this.Title, ArtPalette.DefaultBoldFont, Rectangle.Width - 45);
+      if (titleSize.Height + 10 > Rectangle.Height) {
+        headerHeight =  (int)titleSize.Height + 10;
+        mRectangle.Height = headerHeight;
+      }
 
       GraphicsPath path = new GraphicsPath();
@@ -251 +257 @@
 
         for (int i = 0; i < this.labels.Count; i++) {
-          rect = new Rectangle(Rectangle.X + 25, Rectangle.Y + HEADER_HEIGHT + i * (LABEL_HEIGHT + LABEL_SPACING), LABEL_WIDTH, LABEL_HEIGHT);
+          rect = new Rectangle(Rectangle.X + 25, Rectangle.Y + headerHeight + i * (LABEL_HEIGHT + LABEL_SPACING), LABEL_WIDTH, LABEL_HEIGHT);
           g.DrawString(textStyle.GetFormattedText(this.labels[i]), textStyle.Font, textStyle.GetBrush(), rect, stringFormat);
         }
@@ -260 +266 @@
 
       //the title
-      g.DrawString(this.Title, ArtPalette.DefaultBoldFont, Brushes.Black, new Rectangle(Rectangle.X + 25, Rectangle.Y + 5, Rectangle.Width - 45, 27));
+      g.DrawString(this.Title, ArtPalette.DefaultBoldFont, Brushes.Black, new Rectangle(Rectangle.X + 25, Rectangle.Y + 5, Rectangle.Width - 45, Rectangle.Height - 5));
+
 
       //the material