[Expired for gnome-shell-extension-ubuntu-dock (Ubuntu) because there
has been no activity for 60 days.]
** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in
Ubuntu.
https://bugs.launchpad.net/bugs/1814889
Title:
Dock does not change position nor icon size
Status in gnome-shell-extension-ubuntu-dock package in Ubuntu:
Expired
Bug description:
I cannot change the position of the dock.
How to reproduce (on my system):
Either:
(a) open the settings -> Dock and select a different value for the dock, e.g.
"Bottom", or
(b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock
dock-position BOTTOM" in the command line
Expected result: In both cases, the dock should move to the bottom of
the screen.
Actual result: The dock remains at the same position.
Additional observations:
1. I also cannot change the icon size (only tried via GUI, not command line).
2. All the behavior is observed no matter what other settings (auto-hide,
show on) I pick.
3. This describes a similar (the same?) problem:
https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer
Screenshots are attached.
Please let me know if I should provide additional information.
I am a fairly technical user, and I am willing to put in some effort to get
this resolved.
ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3
ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18
Uname: Linux 4.15.0-43-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.9-0ubuntu7.5
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Wed Feb 6 12:51:39 2019
InstallationDate: Installed on 2018-11-20 (77 days ago)
InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64
(20180725)
PackageArchitecture: all
SourcePackage: gnome-shell-extension-ubuntu-dock
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1814889/+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
