Distribution (run cat /etc/os-release):
NAME="Pop!_OS"
VERSION="22.04 LTS"
ID=pop
ID_LIKE="ubuntu debian"
PRETTY_NAME="Pop!_OS 22.04 LTS"
VERSION_ID="22.04"
HOME_URL="https://pop.system76.com"
SUPPORT_URL="https://support.system76.com"
BUG_REPORT_URL="https://github.com/pop-os/pop/issues"
PRIVACY_POLICY_URL="https://system76.com/privacy"
VERSION_CODENAME=jammy
UBUNTU_CODENAME=jammy
LOGO=distributor-logo-pop-os
Related Application and/or Package Version (run apt policy $PACKAGE NAME):
dash-to-dock
Issue/Bug Description:
In dconf-editor, hide-delay parameter from dash-to-dock gnome shell extension is described as "Show delay". It's a clean install.
Steps to reproduce (if you know):
Just check it in dconf-editor.
Expected behavior:
Parameter hide-delay should be described as "Hide delay" instead of "Show delay" like show-delay is described as "Show delay".
Other Notes:
Pop is real good, I can't wait Cosmic!
It's my first bug report, sorry if I made a mistake and for my very bad english.
Distribution (run
cat /etc/os-release):NAME="Pop!_OS"
VERSION="22.04 LTS"
ID=pop
ID_LIKE="ubuntu debian"
PRETTY_NAME="Pop!_OS 22.04 LTS"
VERSION_ID="22.04"
HOME_URL="https://pop.system76.com"
SUPPORT_URL="https://support.system76.com"
BUG_REPORT_URL="https://github.com/pop-os/pop/issues"
PRIVACY_POLICY_URL="https://system76.com/privacy"
VERSION_CODENAME=jammy
UBUNTU_CODENAME=jammy
LOGO=distributor-logo-pop-os
Related Application and/or Package Version (run
apt policy $PACKAGE NAME):dash-to-dock
Issue/Bug Description:
In dconf-editor, hide-delay parameter from dash-to-dock gnome shell extension is described as "Show delay". It's a clean install.
Steps to reproduce (if you know):
Just check it in dconf-editor.
Expected behavior:
Parameter hide-delay should be described as "Hide delay" instead of "Show delay" like show-delay is described as "Show delay".
Other Notes:
Pop is real good, I can't wait Cosmic!
It's my first bug report, sorry if I made a mistake and for my very bad english.