Shortcut for launcher (Super + /) not visible in list of shortcuts in settings

[andree-rehnberg]

Distribution (run cat /etc/os-release):

 NAME="Pop!_OS"
VERSION="20.04 LTS"
ID=pop
ID_LIKE="ubuntu debian"
PRETTY_NAME="Pop!_OS 20.04 LTS"
VERSION_ID="20.04"
HOME_URL="https://system76.com/pop"
SUPPORT_URL="http://support.system76.com"
BUG_REPORT_URL="https://github.com/pop-os/pop/issues"
PRIVACY_POLICY_URL="https://system76.com/privacy"
VERSION_CODENAME=focal
UBUNTU_CODENAME=focal
LOGO=distributor-logo-pop-os

Related Application and/or Package Version (run apt policy pop-shell or provide the latest commit if building locally):

pop-shell:
  Installed: 0.1.0~1588274983~20.04~586efcc
  Candidate: 0.1.0~1588274983~20.04~586efcc
  Version table:
 *** 0.1.0~1588274983~20.04~586efcc 1001
       1001 http://ppa.launchpad.net/system76/pop/ubuntu focal/main amd64 Packages
       1001 http://ppa.launchpad.net/system76/pop/ubuntu focal/main i386 Packages
        100 /var/lib/dpkg/status

Issue/Bug Description:

In settings, under the section "Navigate applications and windows" in the keyboard shortcuts list there is supposed to be an option to change the shortcut to the launcher. For me and for some other user I've seen on reddit, that option isn't there.

Steps to reproduce (if you know):

-

Expected behavior:

For the shortcut to be there and editable.

Other Notes:

I have a nordic layout keyboard so the default Super + / command is a no-go since / is typed with the key combo shift + 7 (i think many european keyboard layouts do this). Also, I'm unsure if it matters but I did upgrade to 20.04 from 19.10 rather than doing a clean install.

[beltet]

Same problem here. The / key on US keyboards is a "no go" key for europeans. Becasue that key dosen't even exist on our keyboards. Little read up on the difference: https://deskthority.net/wiki/ANSI_vs_ISO

I was looking forward to test out the new pop shell. To bad I can't get the full features because of keyboard layout.

[mmstick]

It's certainly defined in the GCC patch here: https://github.com/pop-os/gnome-control-center/blob/master_focal/debian/patches/pop-shell.patch

Currently unsure why it's not appearing though.

[ids1024]

I tracked down this issue in the discussion on https://github.com/pop-os/shell/issues/196.

It appears to be a bug in gnome-control-center, related to the fact that another setting entry in another section has a key with the same name (seach) but in a different schema...

[ids1024]

I've submitted an issue to the Gnome GitLab to see if upstream has any thought on this.

https://gitlab.gnome.org/GNOME/gnome-control-center/-/issues/1035

[ids1024]

The fix for this should now be in the Pop!_OS 20.04 repositories, with the updates to pop-shell and gnome-control-center.

[aaronjensen]

@ids1024 reassigning keys works, but the command itself no longer works, regardless of which key is assigned.

Disregard, I had the pop-shell extension disabled.