Searched refs:metrics (Results 101 – 106 of 106) sorted by path
12345
/plugin/jcapture/src/com/hammurapi/jcapture/ |
H A D | ImageToolTip.java | 43 FontMetrics metrics = c.getFontMetrics(g.getFont()); in paint() local 48 g.drawImage(m_image, 3, metrics.getHeight() + 3, c); in paint() 57 FontMetrics metrics = c.getFontMetrics(c.getFont()); in getPreferredSize() local 63 int width = SwingUtilities.computeStringWidth(metrics, tipText); in getPreferredSize() 64 int height = metrics.getHeight() + m_image.getHeight(c) + 6; in getPreferredSize()
|
/plugin/jdraw/lib/ |
H A D | httpcore-4.0.1.jar | META-INF/MANIFEST.MF
META-INF/HAMMURAP.SF
META-INF/HAMMURAP ... |
/plugin/katex/_assets/ |
H A D | katex.min.js | 1 …metrics:N(e,t,r)}},Ge=function(e,t,r,n,a){var i,o=Fe(e,t,r),s=o.metrics;if(e=o.value,s){var l=s.it…
|
/plugin/openlayersmap/ol7/ |
H A D | ol.js.map |
|
/plugin/pdfjs/pdfjs/build/ |
H A D | pdf.worker.js | 32635 var metrics = this.getBaseFontMetrics(baseFontName.name); 32637 defaultWidth = metrics.defaultWidth; 32847 var metrics = this.getBaseFontMetrics(baseFontName); 32853 widths: metrics.widths, 32854 defaultWidth: metrics.defaultWidth, 36107 if (metrics) { 36108 metrics.data = null; 36142 entries.set(metrics.data); 36145 entries[metrics.length] = metrics.data[2]; 36146 entries[metrics.length + 1] = metrics.data[3]; [all …]
|
H A D | pdf.worker.js.map | 1 …metrics.js","webpack://pdfjs-dist/build/pdf.worker/src/core/function.js","webpack://pdfjs-dist/bui…
|
12345