equal
deleted
inserted
replaced
56 private XMenuPeer showingMousePressedSubmenu = null; |
56 private XMenuPeer showingMousePressedSubmenu = null; |
57 |
57 |
58 /* |
58 /* |
59 * Painting constants |
59 * Painting constants |
60 */ |
60 */ |
61 private final static int CAPTION_MARGIN_TOP = 4; |
61 private static final int CAPTION_MARGIN_TOP = 4; |
62 private final static int CAPTION_SEPARATOR_HEIGHT = 6; |
62 private static final int CAPTION_SEPARATOR_HEIGHT = 6; |
63 |
63 |
64 /************************************************ |
64 /************************************************ |
65 * |
65 * |
66 * Construction |
66 * Construction |
67 * |
67 * |