It appears you are using an exentsion:
https://extensions.gnome.org/extension/1207/vscode-search-provider/
Please try removing that extension from your system and see if the bug
persists.
** Changed in: gnome-shell (Ubuntu)
Status: New => Incomplete
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1771278
Title:
search in gnome is not working
Status in gnome-shell package in Ubuntu:
Incomplete
Bug description:
1)
Description: Ubuntu 18.04 LTS
Release: 18.04
2)
gnome-shell:
Installed: 3.28.1-0ubuntu2
Candidate: 3.28.1-0ubuntu2
Version table:
*** 3.28.1-0ubuntu2 500
500 http://lu.archive.ubuntu.com/ubuntu bionic/main amd64 Packages
100 /var/lib/dpkg/status
3)
When I press Super key and start typing to search, the results of the search
should appear.
4)
Instead nothing happens.
I see this errors in syslog.
May 15 08:44:24 Acer18 gnome-shell[2385]: JS ERROR: TypeError:
provider.display is
undefined#012_clearDisplay/<@resource:///org/gnome/shell/ui/search.js:605:13#012_clearDisplay@resource:///org/gnome/shell/ui/search.js:604:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012_reset@resource:///org/gnome/shell/ui/search.js:495:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012setTerms@resource:///org/gnome/shell/ui/search.js:555:13#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012_onTextChanged@resource:///org/gnome/shell/ui/viewSelector.js:532:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012reset@resource:///org/gnome/shell/ui/viewSelector.js:464:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012show@resource:///org/gnome/shell/ui/viewSelector.js:284:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012_animateVisible@resource:///org/gnome/shell/ui/overview.js:554:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012show@resource:///org/gnome/shell/ui/overview.js:540:9#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012toggle@resource:///org/gnome/shell/ui/overview.js:670:13#012wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22#012_initializeUI/<@resource:///org/gnome/shell/ui/main.js:197:13
ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-shell 3.28.1-0ubuntu2
ProcVersionSignature: Ubuntu 4.15.0-20.21-generic 4.15.17
Uname: Linux 4.15.0-20-generic x86_64
ApportVersion: 2.20.9-0ubuntu7
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Tue May 15 08:49:24 2018
DisplayManager: gdm3
GsettingsChanges:
b'org.gnome.shell' b'enabled-extensions'
b"['[email protected]']"
b'org.gnome.shell' b'command-history' redacted by apport
b'org.gnome.shell' b'app-picker-view' b'uint32 1'
b'org.gnome.shell' b'favorite-apps' redacted by apport
b'org.gnome.desktop.interface' b'gtk-im-module' b"'gtk-im-context-simple'"
InstallationDate: Installed on 2018-05-02 (12 days ago)
InstallationMedia: Ubuntu 18.04 LTS "Bionic Beaver" - Release amd64 (20180426)
SourcePackage: gnome-shell
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1771278/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
