[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 go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 notifications about this bug go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 notifications about this bug go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 notifications about this bug go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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.
https://bugs.launchpad.net/bugs/1819193

Title:
  Document search does not work

To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 not work

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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
   https://gitlab.gnome.org/GNOME/gnome-documents/issues/12

-- 
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:
https://bugs.launchpad.net/ubuntu/+source/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 work

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-documents/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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 is a Gnome Documents bug. However, Gnome Documents
in itself will not crash unless it is accessed from GNOME Shell search
results.

-- 
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:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

[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:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1819193/+subscriptions

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs