Searched defs:WIN95_WINDOW_BORDER (Results 1 – 3 of 3) sorted by relevance
63 helper.add(Util.WIN95_WINDOW_BORDER, /* NOI18N */ in helper.add()
63 public static final int WIN95_WINDOW_BORDER = 9; field in Util
53 public static final int WIN95_WINDOW_BORDER = Util.WIN95_WINDOW_BORDER; field in VJPanel