← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/JSplitPaneFix.java

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/JSplitPaneFix.java
1
1
package pipe.gui.widgets;
2
2
 
 
3
import java.awt.Component;
3
4
import java.awt.Graphics;
4
5
 
5
 
import javax.swing.JPanel;
6
 
import javax.swing.JScrollPane;
7
6
import javax.swing.JSplitPane;
8
7
 
9
8
public class JSplitPaneFix extends JSplitPane {
16
15
        private boolean hasProportionalLocation;
17
16
        private double proportionalLocation;
18
17
 
19
 
        public JSplitPaneFix(int verticalSplit, JScrollPane panel1,
20
 
                        JPanel panel2) {
21
 
                super(verticalSplit, panel1, panel2);
22
 
                
23
 
        }
24
 
        
25
 
        public JSplitPaneFix(int verticalSplit, JPanel panel1,
26
 
                        JPanel panel2) {
27
 
                super(verticalSplit, panel1, panel2);
28
 
                
29
 
        }
30
 
        
 
18
        public JSplitPaneFix(int verticalSplit, Component component1, Component component2) {
 
19
                super(verticalSplit, component1, component2);
 
20
 
 
21
        }
 
22
 
31
23
        public JSplitPaneFix(int verticalSplit) {
32
24
                super(verticalSplit);
33
25
        }
34
26
 
35
27
        @Override
36
28
        public void setDividerLocation(double proportionalLocation) {
37
 
        if (!isPainted) {       
38
 
            hasProportionalLocation = true;
39
 
            this.proportionalLocation = proportionalLocation;
40
 
        }
41
 
        else
42
 
            super.setDividerLocation(proportionalLocation);
43
 
    }
 
29
                if (!isPainted) {
 
30
                        hasProportionalLocation = true;
 
31
                        this.proportionalLocation = proportionalLocation;
 
32
                } else
 
33
                        super.setDividerLocation(proportionalLocation);
 
34
        }
44
35
 
45
 
    @Override
 
36
        @Override
46
37
        public void paint(Graphics g) {
47
 
        if (!isPainted) {       
48
 
            if (hasProportionalLocation)
49
 
                super.setDividerLocation(proportionalLocation);
50
 
            isPainted = true;
51
 
        }
52
 
        super.paint(g);
53
 
    } 
 
38
                if (!isPainted) {
 
39
                        if (hasProportionalLocation)
 
40
                                super.setDividerLocation(proportionalLocation);
 
41
                        isPainted = true;
 
42
                }
 
43
                super.paint(g);
 
44
        }
54
45
 
55
46
}