jdk/src/java.desktop/unix/classes/sun/awt/X11/XMenuWindow.java
changeset 32865 f9cb6e427f9e
parent 30948 0a0972d3b58d
child 34395 2ac7e99f7f4a
equal deleted inserted replaced
32864:2a338536e642 32865:f9cb6e427f9e
    50     private XMenuPeer menuPeer;
    50     private XMenuPeer menuPeer;
    51 
    51 
    52     /*
    52     /*
    53      * dimension constants
    53      * dimension constants
    54      */
    54      */
    55     private final static int WINDOW_SPACING_LEFT = 2;
    55     private static final int WINDOW_SPACING_LEFT = 2;
    56     private final static int WINDOW_SPACING_RIGHT = 2;
    56     private static final int WINDOW_SPACING_RIGHT = 2;
    57     private final static int WINDOW_SPACING_TOP = 2;
    57     private static final int WINDOW_SPACING_TOP = 2;
    58     private final static int WINDOW_SPACING_BOTTOM = 2;
    58     private static final int WINDOW_SPACING_BOTTOM = 2;
    59     private final static int WINDOW_ITEM_INDENT = 15;
    59     private static final int WINDOW_ITEM_INDENT = 15;
    60     private final static int WINDOW_ITEM_MARGIN_LEFT = 2;
    60     private static final int WINDOW_ITEM_MARGIN_LEFT = 2;
    61     private final static int WINDOW_ITEM_MARGIN_RIGHT = 2;
    61     private static final int WINDOW_ITEM_MARGIN_RIGHT = 2;
    62     private final static int WINDOW_ITEM_MARGIN_TOP = 2;
    62     private static final int WINDOW_ITEM_MARGIN_TOP = 2;
    63     private final static int WINDOW_ITEM_MARGIN_BOTTOM = 2;
    63     private static final int WINDOW_ITEM_MARGIN_BOTTOM = 2;
    64     private final static int WINDOW_SHORTCUT_SPACING = 10;
    64     private static final int WINDOW_SHORTCUT_SPACING = 10;
    65 
    65 
    66     /*
    66     /*
    67      * Checkmark
    67      * Checkmark
    68      */
    68      */
    69     private static final int CHECKMARK_SIZE = 128;
    69     private static final int CHECKMARK_SIZE = 128;