[Bug 1819193] Re: Document search does not work

2020-03-19 Thread Daniel van Vugt
** No longer affects: gnome-shell (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To manage notifications about this bug

[Bug 1819193] Re: Document search does not work

2019-10-03 Thread Amr Ibrahim
** Changed in: gnome-documents (Ubuntu) Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To

[Bug 1819193] Re: Document search does not work

2019-09-02 Thread Bug Watch Updater
** Changed in: gnome-documents Status: New => Fix Released -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To manage

[Bug 1819193] Re: Document search does not work

2019-04-04 Thread Sebastien Bacher
** Changed in: gnome-shell (Ubuntu) Importance: Undecided => Low -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To manage

[Bug 1819193] Re: Document search does not work

2019-03-30 Thread Bug Watch Updater
** Changed in: gnome-documents Status: Unknown => New -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To manage

[Bug 1819193] Re: Document search does not work

2019-03-30 Thread Paul White
** Also affects: gnome-documents via https://gitlab.gnome.org/GNOME/gnome-documents/issues/12 Importance: Unknown Status: Unknown -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

[Bug 1819193] Re: Document search does not work

2019-03-26 Thread Mordi
Related to this bug: https://bugs.launchpad.net/ubuntu/+source/gnome- documents/+bug/1592705 -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does

[Bug 1819193] Re: Document search does not work

2019-03-26 Thread Mordi
This is apparently an upstream bug: https://gitlab.gnome.org/GNOME /gnome-documents/issues/12 It seems that this has been fixed in 3.30. If so, is there any chance that the fix is backported to the 18.04? ** Bug watch added: gitlab.gnome.org/GNOME/gnome-documents/issues #12

[Bug 1819193] Re: Document search does not work

2019-03-17 Thread Daniel van Vugt
** Also affects: gnome-documents (Ubuntu) Importance: Undecided Status: New -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not

[Bug 1819193] Re: Document search does not work

2019-03-16 Thread Mordi
I am able to make this work by first stopping and then restarting the "gnome-documents" process. Search results from GNOME Shell will then be opened in Documents as expected. Unfortunately, after a few searches, Documents will crash and searching from g-s will no longer work. I suspect that this

[Bug 1819193] Re: Document search does not work

2019-03-10 Thread Daniel van Vugt
Maybe related to bug 1713931? -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1819193 Title: Document search does not work To manage notifications about this bug go to: