diff options
| author | Giselle Machado <[email protected]> | 2014-06-22 18:39:58 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-08-28 16:04:01 +0200 |
| commit | 4fc9b355075c0298b0306f43e5b73d136dcdf939 (patch) | |
| tree | 2a15ae1a3e3519cae56d320a490618855a71b304 /backend/dvi/fonts.c | |
| parent | d16ebefe945ddca508e2e7c7e360f671078cf5d3 (diff) | |
| download | atril-4fc9b355075c0298b0306f43e5b73d136dcdf939.tar.bz2 atril-4fc9b355075c0298b0306f43e5b73d136dcdf939.tar.xz | |
Refreshing annotations' sidebar upon deletion
When an annotation is deleted, the sidebar needs to
be refreshed so that the annotation is removed from
the list
See item 3 in this comment:
https://bugzilla.gnome.org/show_bug.cgi?id=649044#c33
origin commit:
https://git.gnome.org/browse/evince/commit/?id=13defb2
Diffstat (limited to 'backend/dvi/fonts.c')
0 files changed, 0 insertions, 0 deletions