equal
deleted
inserted
replaced
193 |
193 |
194 private String printer; |
194 private String printer; |
195 private PrinterName name; |
195 private PrinterName name; |
196 private String port; |
196 private String port; |
197 |
197 |
198 transient private PrintServiceAttributeSet lastSet; |
198 private transient PrintServiceAttributeSet lastSet; |
199 transient private ServiceNotifier notifier = null; |
199 private transient ServiceNotifier notifier = null; |
200 |
200 |
201 private MediaSizeName[] mediaSizeNames; |
201 private MediaSizeName[] mediaSizeNames; |
202 private MediaPrintableArea[] mediaPrintables; |
202 private MediaPrintableArea[] mediaPrintables; |
203 private MediaTray[] mediaTrays; |
203 private MediaTray[] mediaTrays; |
204 private PrinterResolution[] printRes; |
204 private PrinterResolution[] printRes; |
1732 private Win32MediaSize(int x) { |
1732 private Win32MediaSize(int x) { |
1733 super(x); |
1733 super(x); |
1734 |
1734 |
1735 } |
1735 } |
1736 |
1736 |
1737 private synchronized static int nextValue(String name) { |
1737 private static synchronized int nextValue(String name) { |
1738 winStringTable.add(name); |
1738 winStringTable.add(name); |
1739 return (winStringTable.size()-1); |
1739 return (winStringTable.size()-1); |
1740 } |
1740 } |
1741 |
1741 |
1742 public static synchronized Win32MediaSize findMediaName(String name) { |
1742 public static synchronized Win32MediaSize findMediaName(String name) { |