equal
deleted
inserted
replaced
2012 } |
2012 } |
2013 } |
2013 } |
2014 return isInstanceOf(cls.getSuperclass(), type); |
2014 return isInstanceOf(cls.getSuperclass(), type); |
2015 } |
2015 } |
2016 |
2016 |
|
2017 protected static LightweightFrame getLightweightFrame(Component c) { |
|
2018 for (; c != null; c = c.getParent()) { |
|
2019 if (c instanceof LightweightFrame) { |
|
2020 return (LightweightFrame)c; |
|
2021 } |
|
2022 if (c instanceof Window) { |
|
2023 // Don't traverse owner windows |
|
2024 return null; |
|
2025 } |
|
2026 } |
|
2027 return null; |
|
2028 } |
|
2029 |
2017 /////////////////////////////////////////////////////////////////////////// |
2030 /////////////////////////////////////////////////////////////////////////// |
2018 // |
2031 // |
2019 // The following methods help set and identify whether a particular |
2032 // The following methods help set and identify whether a particular |
2020 // AWTEvent object was produced by the system or by user code. As of this |
2033 // AWTEvent object was produced by the system or by user code. As of this |
2021 // writing the only consumer is the Java Plug-In, although this information |
2034 // writing the only consumer is the Java Plug-In, although this information |