Searched defs:MaxThreshold (Results 1 - 1 of 1) sorted by relevance
| /openjdk7/jdk/src/share/classes/javax/swing/text/html/ | ||
| H A D | HTMLDocument.java | 1767 private static final int MaxThreshold = 10000; field in class:HTMLDocument 3653 if ( threshold <= MaxThreshold ) { |
Completed in 55 milliseconds