37 |
public Dimension getPreferredSize() |
public Dimension getPreferredSize() |
38 |
{ |
{ |
39 |
Dimension d = super.getPreferredSize(); |
Dimension d = super.getPreferredSize(); |
40 |
System.out.println("JFrame.getPrefSize(): " + d + " , comp="+countComponents() + ", layout=" + layoutm); |
System.out.println("JFrame.getPrefSize(): " + d + " , comp="+countComponents() + ", layout=" + getLayout()); |
41 |
return d; |
return d; |
42 |
} |
} |
43 |
|
|
107 |
{ super.processKeyEvent(e); } |
{ super.processKeyEvent(e); } |
108 |
|
|
109 |
protected void processWindowEvent(WindowEvent e) |
protected void processWindowEvent(WindowEvent e) |
|
|
|
110 |
{ |
{ |
111 |
// System.out.println("PROCESS_WIN_EV-1: " + e); |
// System.out.println("PROCESS_WIN_EV-1: " + e); |
112 |
super.processWindowEvent(e); |
|
113 |
|
// super.processWindowEvent(e); |
114 |
|
|
115 |
// System.out.println("PROCESS_WIN_EV-2: " + e); |
// System.out.println("PROCESS_WIN_EV-2: " + e); |
116 |
switch (e.getID()) |
switch (e.getID()) |
117 |
{ |
{ |