equal
deleted
inserted
replaced
26 import java.beans.PropertyChangeListener; |
26 import java.beans.PropertyChangeListener; |
27 import java.io.InputStream; |
27 import java.io.InputStream; |
28 |
28 |
29 /* |
29 /* |
30 * @test |
30 * @test |
|
31 * @key headful |
31 * @bug 4758438 |
32 * @bug 4758438 |
32 * @summary Testcase to check the implementation of RFE 4758438 |
33 * @summary Testcase to check the implementation of RFE 4758438 |
33 * The RFE suggests that the GNOME desktop properties |
34 * The RFE suggests that the GNOME desktop properties |
34 * should be made accessible through the |
35 * should be made accessible through the |
35 * Toolkit.getDesktopProperty() API. |
36 * Toolkit.getDesktopProperty() API. |