diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-17 16:52:35 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2020-09-17 16:52:35 +0300 |
| commit | d7bd8ee9a9b057d3cc1b75881668e1a6362b646a (patch) | |
| tree | 97cb320194dbd63154dc825861a97de7a776a289 /src/ui/metrics.c | |
| parent | 65778911126ed14d2c194c167f7a899fd4dafb14 (diff) | |
DocumentWidget: Saving the source to a file
"Save Page" now writes the current page's source to the Downloads folder as a file.
Diffstat (limited to 'src/ui/metrics.c')
0 files changed, 0 insertions, 0 deletions