Searched refs:printerDPI (Results 1 – 5 of 5) sorted by relevance
43 def printToPostScript(root, file, viewer, printerDPI): argument61 postScriptRes.setValue(int(imageInches[0]*printerDPI),62 int(imageInches[1]*printerDPI))67 myViewport.setPixelsPerInch(printerDPI)
161 Point printerDPI = printer.getDPI(); in performPrintAction() local162 int scaleFactor = printerDPI.x / screenDPI.x; in performPrintAction()
304 Point printerDPI = printer.getDPI(); in cacheLineData() local322 printerRenderer.setLineIndent(i, 1, indent * printerDPI.x / screenDPI.x); in cacheLineData()366 style.rise = style.rise * printerDPI.y / screenDPI.y; in cacheLineData()369 metrics.ascent = metrics.ascent * printerDPI.y / screenDPI.y; in cacheLineData()370 metrics.descent = metrics.descent * printerDPI.y / screenDPI.y; in cacheLineData()371 metrics.width = metrics.width * printerDPI.x / screenDPI.x; in cacheLineData()374 lineSpacing = styledText.lineSpacing * printerDPI.y / screenDPI.y; in cacheLineData()376 printMargin = 3 * printerDPI.x / screenDPI.x; in cacheLineData()
1181 Point printerDPI = printer.getDPI(); in menuPrint() local1182 int scaleFactor = printerDPI.x / screenDPI.x; in menuPrint()