Bsrgvty

What does "2 fingers to Scotland" mean in Peter Grant's statement about Johnson not listening to the SNP's Westminster leader speeches?

Creating cryptographic algorithms at runtime

How exactly do you avoid fooling yourself?

What is self hosted version control system?

how can I enforce the prohibition on love potions?

Transit in Amsterdam for 10 hours, do I have time to visit the city for sightseeing?

Disable memory refresh on Z80

Would the US government of the 1960’s be able to feasibly recreate a modern laptop?

Does cashing a 3% share harm the company itself?

Adding coordinate constant to file in QGIS

Is there a Ukrainian transcript of Trump's controversial July 25 call to President Zelensky?

During a log backup is the data backed up to the start or end of the operation?

Does the on'yomi of 輪 (リン) have any relation to the English "ring", or is it a coincidence?

How can I prevent side-channel attacks against authentication?

Can I say: “The train departs at 16 past every hour“?

In what way were Renaissance battles like chess matches?

Induction Inequality Proof

How does an all-female medieval country maintain itself?

"The" for the first time only

What is the equivalent of "if you say so" in German?

Why is the HTTP protocol more susceptible to being intercepted than the BitTorrent protocol?

Comparison of C-Cl bond length in CH3Cl and CF3Cl

Dodging a Deathbeam travelling at speed of light

Why do gas water heater exhausts have an air gap before the chimney?

Auto-hiding the dock covers the desktop icons

Ubuntu dock is stuck“Hide Top Bar” GNOME Shell extension makes top bar cover desktop iconsHow can I make the unity sidebar visible permanently (as in, in all circumstances) in unity 2D?Duplicate applications icons in Ubuntu dockUbuntu dock is stuckUbuntu 19.04 and Gnome desktop iconsSeparate Icons for Open Applications and Favourites in Ubuntu Dock

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty
margin-bottom:0;

13

6

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

share|improve this question

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  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
 | 

13

6

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

share|improve this question

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  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

share|improve this question

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

share|improve this question

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

share|improve this question

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

edited Oct 16 '18 at 8:57

pomsky

41.3k1212 gold badges137137 silver badges164164 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

asked Aug 17 '18 at 22:33

tparkertparker

1251414 bronze badges

2 Answers
2

active

oldest

votes

4

+50

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

share|improve this answer

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  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
 | 

0

I wouldn't say this is because of Canonical removing resources from the desktop, as another answer states. After all, the dash-to-dock extension is independently developed and used in other distributions too (for example, Manjaro).

Apparently, the issue cannot be solved at the extension level (https://github.com/micheleg/dash-to-dock/issues/17). So it's not that easy to fix without upstream changes, and upstream they already decided against desktop icons, so...

OTOH, probably intellihide (the current behavior) is better than autohide for Ubuntu, even with the bug. IMO, Ubuntu should remove the desktop icon extension for good, at some point.

I would say: just move your dock to the bottom or the right (so it's not true that the bug completely breaks the intellihide feature, as some comment states).

share|improve this answer

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

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/4.0/"u003ecc by-sa 4.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
);



);

draft saved

draft discarded

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

Name

Email

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

Name

Email

Required, but never shown

4

+50

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

share|improve this answer

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  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
 | 

4

+50

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

share|improve this answer

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  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

share|improve this answer

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

share|improve this answer

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

answered Sep 14 '18 at 11:51

dougdoug

14.9k11 gold badge3939 silver badges5656 bronze badges

0

I wouldn't say this is because of Canonical removing resources from the desktop, as another answer states. After all, the dash-to-dock extension is independently developed and used in other distributions too (for example, Manjaro).

Apparently, the issue cannot be solved at the extension level (https://github.com/micheleg/dash-to-dock/issues/17). So it's not that easy to fix without upstream changes, and upstream they already decided against desktop icons, so...

OTOH, probably intellihide (the current behavior) is better than autohide for Ubuntu, even with the bug. IMO, Ubuntu should remove the desktop icon extension for good, at some point.

I would say: just move your dock to the bottom or the right (so it's not true that the bug completely breaks the intellihide feature, as some comment states).

share|improve this answer

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

add a comment
 | 

0

I wouldn't say this is because of Canonical removing resources from the desktop, as another answer states. After all, the dash-to-dock extension is independently developed and used in other distributions too (for example, Manjaro).

Apparently, the issue cannot be solved at the extension level (https://github.com/micheleg/dash-to-dock/issues/17). So it's not that easy to fix without upstream changes, and upstream they already decided against desktop icons, so...

OTOH, probably intellihide (the current behavior) is better than autohide for Ubuntu, even with the bug. IMO, Ubuntu should remove the desktop icon extension for good, at some point.

I would say: just move your dock to the bottom or the right (so it's not true that the bug completely breaks the intellihide feature, as some comment states).

share|improve this answer

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

add a comment
 | 

I wouldn't say this is because of Canonical removing resources from the desktop, as another answer states. After all, the dash-to-dock extension is independently developed and used in other distributions too (for example, Manjaro).

Apparently, the issue cannot be solved at the extension level (https://github.com/micheleg/dash-to-dock/issues/17). So it's not that easy to fix without upstream changes, and upstream they already decided against desktop icons, so...

OTOH, probably intellihide (the current behavior) is better than autohide for Ubuntu, even with the bug. IMO, Ubuntu should remove the desktop icon extension for good, at some point.

I would say: just move your dock to the bottom or the right (so it's not true that the bug completely breaks the intellihide feature, as some comment states).

share|improve this answer

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

share|improve this answer

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges

answered Jun 15 at 3:17

memeplexmemeplex

14133 bronze badges