| changeset 129 | f995b9c9c5fa |
| parent 107 | ed0c7cfb3666 |
| child 439 | 3488710b02f8 |
| 128:8be10f1a3d12 | 129:f995b9c9c5fa |
|---|---|
93 } else { |
93 } else { |
94 return super.guessInsets(); |
94 return super.guessInsets(); |
95 } |
95 } |
96 } |
96 } |
97 |
97 |
98 private boolean isTargetUndecorated() { |
98 @Override |
99 boolean isTargetUndecorated() { |
|
99 if (undecorated != null) { |
100 if (undecorated != null) { |
100 return undecorated.booleanValue(); |
101 return undecorated.booleanValue(); |
101 } else { |
102 } else { |
102 return ((Frame)target).isUndecorated(); |
103 return ((Frame)target).isUndecorated(); |
103 } |
104 } |