| | <<<Back 1 day (to 2020/10/30) | Fwd 1 day (to 2020/11/01)>>> | 20201031 |
| Someone44 | Excuse me, but is there a possibility to undo the last reload in mupdf-gl? I've just lost a few hours of adding annotations to a PDF and I'd like to restore them. | 20:29.52 |
| sebras | Someone44: unfortunately there is no undo for that. :-/ | 20:43.15 |
| | Someone44: when you redo them, try to save often. if you accidentally hit reload you'll have at least the previous save. | 20:44.31 |
| Someone44 | Ok, then I'd like to open an issue... Hitting R in the wrong moment is just too much of an effect to be done that easily :( | 20:44.31 |
| sebras | Someone44: you can suggest adding a dialog box where one has to confirm a reload if the document has been changed (added annotations, or redacted, or something like that). | 20:45.20 |
| | Someone44: file it here: https://bugs.ghostscript.com/ and you'll be notified when/if it is implemented. | 20:46.00 |
| | Someone44: I think this would be non-controversial and wouldn't be too difficult. | 20:46.51 |
| | Someone44: I need to go now, sorry to be the bringer of bad news. :-/ | 20:47.16 |
| Someone44 | Or switch to one of those ugly graphically editors :( | 20:47.38 |
| | sebras thanks though | 20:48.01 |
| | <<<Back 1 day (to 2020/10/30) | Forward 1 day (to 2020/11/01)>>> | |
Log of #mupdf at irc.freenode.net.