diff options
| author | Giselle Machado <[email protected]> | 2014-06-27 19:41:57 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-08-28 16:04:00 +0200 |
| commit | 7e53c5708bd38b99adf1a4b363ed2c21304dccdd (patch) | |
| tree | 3bc5e8a8498fb0805ebbe9240ffb053fcc6d3aeb /backend/djvu/djvu-text-page.h | |
| parent | d933e02e8bf0594627c975d5c73a46fb8b593020 (diff) | |
| download | atril-7e53c5708bd38b99adf1a4b363ed2c21304dccdd.tar.bz2 atril-7e53c5708bd38b99adf1a4b363ed2c21304dccdd.tar.xz | |
pdf: Make annotation names unique
Naming the annotations sequentially by number is
problematic when they can be removed (see
https://bugzilla.gnome.org/show_bug.cgi?id=649044#c33).
This patch changes the annotation names to
timestamps, guaranteeing that they are indeed
unique.
https://bugzilla.gnome.org/show_bug.cgi?id=649044
origin commit:
https://git.gnome.org/browse/evince/commit/?id=0f38a27
fix build warning:
https://git.gnome.org/browse/evince/commit/?id=6197eba
Diffstat (limited to 'backend/djvu/djvu-text-page.h')
0 files changed, 0 insertions, 0 deletions