Auto-hiding the dock covers the desktop icons
As in this question, I found that when I set "Settings -> Dock -> Auto-hide the Dock" to "On", the dock almost completely covers the leftmost column of desktop icons:
This makes it very difficult to see or select those icons. (I can manually drag them out from under the dock, but then e.g. clicking "arrange icons by name" or changing the dock auto-hide settings moves them back under it again.)
Unlike the OP for the linked question, whose preferred solution is to hide the dock when there are no windows covering it, I would prefer the icons to default to locations that are not covered by the dock, as they do when the dock is not set to auto-hide. Is there any way to do this?
18.04 icons gnome-shell ubuntu-dock autohide
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
add a comment |
As in this question, I found that when I set "Settings -> Dock -> Auto-hide the Dock" to "On", the dock almost completely covers the leftmost column of desktop icons:
This makes it very difficult to see or select those icons. (I can manually drag them out from under the dock, but then e.g. clicking "arrange icons by name" or changing the dock auto-hide settings moves them back under it again.)
Unlike the OP for the linked question, whose preferred solution is to hide the dock when there are no windows covering it, I would prefer the icons to default to locations that are not covered by the dock, as they do when the dock is not set to auto-hide. Is there any way to do this?
18.04 icons gnome-shell ubuntu-dock autohide
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34
add a comment |
As in this question, I found that when I set "Settings -> Dock -> Auto-hide the Dock" to "On", the dock almost completely covers the leftmost column of desktop icons:
This makes it very difficult to see or select those icons. (I can manually drag them out from under the dock, but then e.g. clicking "arrange icons by name" or changing the dock auto-hide settings moves them back under it again.)
Unlike the OP for the linked question, whose preferred solution is to hide the dock when there are no windows covering it, I would prefer the icons to default to locations that are not covered by the dock, as they do when the dock is not set to auto-hide. Is there any way to do this?
18.04 icons gnome-shell ubuntu-dock autohide
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
As in this question, I found that when I set "Settings -> Dock -> Auto-hide the Dock" to "On", the dock almost completely covers the leftmost column of desktop icons:
This makes it very difficult to see or select those icons. (I can manually drag them out from under the dock, but then e.g. clicking "arrange icons by name" or changing the dock auto-hide settings moves them back under it again.)
Unlike the OP for the linked question, whose preferred solution is to hide the dock when there are no windows covering it, I would prefer the icons to default to locations that are not covered by the dock, as they do when the dock is not set to auto-hide. Is there any way to do this?
18.04 icons gnome-shell ubuntu-dock autohide
18.04 icons gnome-shell ubuntu-dock autohide
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
edited Oct 16 '18 at 8:57
pomsky
29.3k1190116
29.3k1190116
asked Aug 17 '18 at 22:33
tparkertparker
10012
asked Aug 17 '18 at 22:33
tparkertparker
10012
asked Aug 17 '18 at 22:33
tparkertparker
10012
10012
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34
add a comment |
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34
add a comment |
1 Answer
1
active
oldest
votes
The current answer is you can't. This is a known bug since 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117
So didn't really fall thru the cracks, there isn't atm anyone assigned to fix as the most important thing about the Desktop version of Ubuntu currently is to limit the amount of resources used on it. (i.e money
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "89"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1066420%2fauto-hiding-the-dock-covers-the-desktop-icons%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
The current answer is you can't. This is a known bug since 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117
So didn't really fall thru the cracks, there isn't atm anyone assigned to fix as the most important thing about the Desktop version of Ubuntu currently is to limit the amount of resources used on it. (i.e money
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
add a comment |
The current answer is you can't. This is a known bug since 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117
So didn't really fall thru the cracks, there isn't atm anyone assigned to fix as the most important thing about the Desktop version of Ubuntu currently is to limit the amount of resources used on it. (i.e money
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
add a comment |
The current answer is you can't. This is a known bug since 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117
So didn't really fall thru the cracks, there isn't atm anyone assigned to fix as the most important thing about the Desktop version of Ubuntu currently is to limit the amount of resources used on it. (i.e money
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
The current answer is you can't. This is a known bug since 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117
So didn't really fall thru the cracks, there isn't atm anyone assigned to fix as the most important thing about the Desktop version of Ubuntu currently is to limit the amount of resources used on it. (i.e money
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
answered Sep 14 '18 at 11:51
dougdoug
14.1k13552
14.1k13552
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
add a comment |
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
In my opinion, this is actually a pretty serious bug - it completely breaks the "auto-hide the dock" option, which is a pretty important one. It's not quite as bad if you turn off intellihide as in the answer to the linked question, but still pretty bad.
– tparker
Sep 14 '18 at 22:15
add a comment |
Thanks for contributing an answer to Ask Ubuntu!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1066420%2fauto-hiding-the-dock-covers-the-desktop-icons%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Secondary question and mini-rant: why on earth didn't this bug get caught before release? There are only three dock customization options enabled in the default settings GUI, and one of them is completely broken! Isn't the main motivation for allowing the dock to be auto-hidden so that people can use that desktop real estate?
– tparker
Aug 17 '18 at 22:34