comparison dwt/custom/StyledText.d @ 284:6956821fe8ed

Fixes for StyledText
author Frank Benoit <benoit@tionex.de>
date Mon, 04 Aug 2008 02:06:13 +0200
parents 9d67c3170a58
children 75cb516e281e
comparison
equal deleted inserted replaced
283:05e48e1e65d1 284:6956821fe8ed
469 if (printerRenderer !is null) { 469 if (printerRenderer !is null) {
470 printerRenderer.dispose(); 470 printerRenderer.dispose();
471 printerRenderer = null; 471 printerRenderer = null;
472 } 472 }
473 } 473 }
474 void init() { 474 void init_() {
475 Rectangle trim = printer.computeTrim(0, 0, 0, 0); 475 Rectangle trim = printer.computeTrim(0, 0, 0, 0);
476 Point dpi = printer.getDPI(); 476 Point dpi = printer.getDPI();
477 477
478 printerFont = new Font( cast(Device)printer, fontData.getName(), fontData.getHeight(), DWT.NORMAL); 478 printerFont = new Font( cast(Device)printer, fontData.getName(), fontData.getHeight(), DWT.NORMAL);
479 clientArea = printer.getClientArea(); 479 clientArea = printer.getClientArea();
721 String jobName = printOptions.jobName; 721 String jobName = printOptions.jobName;
722 if (jobName is null) { 722 if (jobName is null) {
723 jobName = "Printing"; 723 jobName = "Printing";
724 } 724 }
725 if (printer.startJob(jobName)) { 725 if (printer.startJob(jobName)) {
726 init(); 726 init_();
727 print(); 727 print();
728 dispose(); 728 dispose();
729 printer.endJob(); 729 printer.endJob();
730 } 730 }
731 } 731 }
5006 public void handleEvent(Event event) { 5006 public void handleEvent(Event event) {
5007 switch (event.detail) { 5007 switch (event.detail) {
5008 case DWT.COMPOSITION_SELECTION: handleCompositionSelection(event); break; 5008 case DWT.COMPOSITION_SELECTION: handleCompositionSelection(event); break;
5009 case DWT.COMPOSITION_CHANGED: handleCompositionChanged(event); break; 5009 case DWT.COMPOSITION_CHANGED: handleCompositionChanged(event); break;
5010 case DWT.COMPOSITION_OFFSET: handleCompositionOffset(event); break; 5010 case DWT.COMPOSITION_OFFSET: handleCompositionOffset(event); break;
5011 default:
5011 } 5012 }
5012 } 5013 }
5013 }); 5014 });
5014 if (verticalBar !is null) { 5015 if (verticalBar !is null) {
5015 verticalBar.addListener(DWT.Selection, new class() Listener { 5016 verticalBar.addListener(DWT.Selection, new class() Listener {