diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-02T13·23+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-02T13·23+0100 |
| commit | 803db7a5b2f1b8fadda45efce56d6c31a74a1e08 (patch) | |
| tree | 9bd7f6b14686f9b30d2f59d992dd0bcb7b114f42 /src/App.hs | |
| parent | 699892883ceaffb64e0d9b9aaab67313a60a5428 (diff) | |
Support printing user's itinerary
- Define print.css with media=print type (note: could've been handled with @media queries) - Define printPage port to interop with window.print() JS function - Support UI.wrapNoPrint to wrap components with a the no-print CSS
Diffstat (limited to 'src/App.hs')
0 files changed, 0 insertions, 0 deletions