test/jdk/java/awt/Toolkit/DesktopProperties/rfe4758438.java
changeset 49090 82c1fe23c469
parent 47216 71c04702a3d5
equal deleted inserted replaced
49089:149647adb633 49090:82c1fe23c469
    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.