Changeset 41

Show
Ignore:
Timestamp:
02/17/10 01:55:20 (2 years ago)
Author:
jd
Message:

resolved tree drawing issues in fragment editor; test release

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • kahina/trunk/src/org/kahina/gui/breakpoint/BreakpointEditorFileMenu.java

    r32 r41  
    2525        newBreakpointItem.setActionCommand("newBreakpoint"); 
    2626        newBreakpointItem.addActionListener(this); 
     27        newBreakpointItem.setEnabled(false); 
    2728        this.add(newBreakpointItem); 
    2829         
    …… 
    3233        exportBreakpointItem.setActionCommand("exportBreakpoint"); 
    3334        exportBreakpointItem.addActionListener(this); 
     35        exportBreakpointItem.setEnabled(false); 
    3436        this.add(exportBreakpointItem); 
    3537         
    …… 
    3739        importBreakpointItem.setActionCommand("importBreakpoint"); 
    3840        importBreakpointItem.addActionListener(this); 
     41        importBreakpointItem.setEnabled(false); 
    3942        this.add(importBreakpointItem); 
    4043         
    …… 
    8487        { 
    8588            control.processEvent(new KahinaSystemEvent(KahinaSystemEvent.QUIT)); 
     89            System.exit(0); 
    8690        } 
    8791    } 

  • kahina/trunk/src/org/kahina/gui/breakpoint/NodeOperationsPanel.java

    r32 r41  
    5555    { 
    5656        addChildOperationButton.setEnabled(true); 
    57         setParentOperationButton.setEnabled(true); 
     57        //setParentOperationButton.setEnabled(true); 
    5858        removeOperationButton.setEnabled(true); 
    5959    } 

  • kahina/trunk/src/org/kahina/gui/breakpoint/TreeEditorPanel.java

    r40 r41  
    4040        for (List<JPanel> nodeLevel : nodeLevels) 
    4141        { 
    42             System.err.println(nodeLevel); 
     42            //System.err.println(nodeLevel); 
    4343        } 
    4444         
    …… 
    5252            for (int i = nodeLevels.size() - 1; i >= 0; i--) 
    5353            { 
    54                 System.err.println("Node level: " + i); 
     54                //System.err.println("Node level: " + i); 
    5555                for (JPanel node : nodeLevels.get(i)) 
    5656                { 
    …… 
    6565            for (int i = 0; i < nodeLevels.size(); i++) 
    6666            { 
    67                 System.err.println("Node level: " + i); 
     67                //System.err.println("Node level: " + i); 
    6868                List<JPanel> nodes = nodeLevels.get(i);   
    6969                int xOffset = 0; 
    7070                if (nodes.size() > 0) xOffset = subtreeWidths.get(nodes.get(0)).maximumLeftDistance(); 
    71                 System.err.println("Start with x offset " + xOffset); 
     71                //System.err.println("Start with x offset " + xOffset); 
    7272                JPanel parent = null; 
    7373                WidthVector subtreeWidth  = new WidthVector(); 
    …… 
    7878                    lastSubtreeWidth = subtreeWidth; 
    7979                    subtreeWidth = subtreeWidths.get(node); 
    80                     System.err.println("Next necessary distance " + WidthVector.computeNecessaryDistance(lastSubtreeWidth, subtreeWidth)); 
     80                    //System.err.println("Next necessary distance " + WidthVector.computeNecessaryDistance(lastSubtreeWidth, subtreeWidth)); 
    8181                    xOffset += WidthVector.computeNecessaryDistance(lastSubtreeWidth, subtreeWidth); 
    8282                    //switch to children of next parent node --> jump in x offset 
    …… 
    8787                        parent = newParent; 
    8888                        //System.err.print(" SubtreeWidths:" + subtreeWidths.get(parent)); 
    89                         xOffset = x.get(parent) -  subtreeWidths.get(parent).getStart(1) / 2; 
     89                        xOffset = x.get(parent) -  subtreeWidths.get(parent).getStart(1) + node.getPreferredSize().width / 2; 
    9090                    } 
    9191                    if (i > 0) 
    …… 
    9999                if (nodes.size() > 0) 
    100100                { 
    101                     int nodeLevelWidth =  x.get(nodes.get(nodes.size() - 1)); 
     101                    int nodeLevelWidth =  x.get(nodes.get(nodes.size() - 1)) + nodes.get(nodes.size() - 1).getPreferredSize().width; 
    102102                    if (nodeLevelWidth > totalTreeWidth) 
    103103                    { 
    …… 
    116116            } 
    117117        } 
     118        this.setPreferredSize(new Dimension(totalTreeWidth,totalTreeHeight)); 
    118119    } 
    119120         
    …… 
    163164            sum.start.add(0,width); 
    164165            sum.end.add(0,width); 
    165             System.err.println(sum); 
     166            //System.err.println(sum); 
    166167            return sum; 
    167168        }