()
| 1432 | } |
| 1433 | |
| 1434 | public void onSaveComplete() { |
| 1435 | if (OCRmeter != null) |
| 1436 | OCRmeter.done(); |
| 1437 | } |
| 1438 | |
| 1439 | class SaveOptionsDialog extends Dialog implements ActionListener, ItemListener, KeyListener { |
| 1440 | Checkbox snapShot = new Checkbox("Snapshot", false); |