No notification (or automatic reload) when file changed on disk

[André Nichterlein]

The following unwanted behaviour in kile 3 (in ubuntu 18.04) was apparently resolved by patching okular:
(see also https://bugs.kde.org/show_bug.cgi?id=400190)

"When changing a file on disk, kile behaves oddly (no notification, sometimes a reload)

STEPS TO REPRODUCE
1. Open a document in kile and in kate (or other text editor)
2. Change something in kate and save (change file on disk)
3. Go to kile
4. Change something in kate and save
5. Go to kile
6. Go to step 4

OBSERVED RESULT
In step 3, Kile reloaded the file and the changes made in kate are displayed.
When
In step 5, nothing happened (also after repeating steps 4 and 5 a couple of times.)

EXPECTED RESULT
Changes in files should always be notified"

The bugfix suggested in the KDE bugtracker works for me and involves some change in okular.
Robert Bredereck created a backport of the upstream patch for the current okular version in ubuntu lts (18.04):
https://launchpad.net/~rbredereck/+archive/ubuntu/okular-patched-for-kile3

Can this backport be included in ubuntu lts (18.04)?

[Launchpad Janitor (janitor)]

Status changed to 'Confirmed' because the bug affects multiple users.

[Robert Bredereck (rbredereck)]

As you can see here, the patch is relatively simple and it should be relatively safe to apply it.

[Ubuntu Foundations Team Bug Bot (crichton)]

The attachment "99-kile3-filechange-refresh.patch" seems to be a patch. If it isn't, please remove the "patch" flag from the attachment, remove the "patch" tag, and if you are a member of the ~ubuntu-reviewers, unsubscribe the team.

[This is an automated message performed by a Launchpad user owned by ~brian-murray, for any issues please contact him.]