Searched refs:TOP_PADDING (Results 1 - 1 of 1) sorted by relevance
| /openjdk7/jdk/src/share/classes/sun/security/tools/policytool/ | ||
| H A D | PolicyTool.java | 884 public static final Insets TOP_PADDING = new Insets(25,0,0,0); field in class:ToolWindow |
Completed in 51 milliseconds