class interface PRINT_DIALOG creation make (p: OVERLAPPED_WINDOW) -- Create. require valid: p /= Void ensure keep_reference: -- of p. feature(s) from STANDARD_DIALOG -- Execution has_selection: BOOLEAN -- Has the last execution be successful? execute -- Display print dialog box. require repaint_parent: -- not parent.device.is_ready ensure done: -- has_selection set feature(s) from PRINT_DIALOG -- Result device: PRINTER_DEVICE -- Selected printer device. require executed: has_selection end of PRINT_DIALOG