Searched refs:arrowWidth (Results 1 - 3 of 3) sorted by relevance
/openjdk10/langtools/src/jdk.jdeps/share/classes/com/sun/tools/jdeps/ | ||
H A D | ModuleDotGraph.java | 187 int arrowWidth(); method in interface:ModuleDotGraph.Attributes 244 public int arrowWidth() { method in class:ModuleDotGraph.DotGraphAttributes 340 attributes.arrowWidth(), |
/openjdk10/jdk/src/java.desktop/share/classes/javax/swing/plaf/metal/ | ||
H A D | MetalScrollButton.java | 102 int arrowWidth = (height+1) / 2; |
/openjdk10/jdk/make/src/classes/build/tools/jigsaw/ | ||
H A D | GenGraphs.java | 186 public int arrowWidth() { method in class:GenGraphs.ModuleGraphAttributes |
Completed in 107 milliseconds