Closed qzb closed 9 years ago
Definitely not the desired designed behaviour. This is a bug. Can somebody fix that?
It's not really a bug. The Dock behaves like it's supposed to. There is no active Window blocking it so it pops out.
What would be desired behavior?
IMO dock should remain hidden. Current behavior is really annoying for me. Usually I have terminal app on primary monitor and browser on secondary, so when I try do something in browser dock covers three last lines of terminal.
Hmm... How else do you determine if the dock should be visible or not?
Isn't the desired behaviour is to show when all windows covering it become unfocused.
@me4oslav Whta's the desired behaviour?
I think dock should be displayed on currently active monitor (if there are no focused windows which covers it). Alternatively dock should be visible when one of the following is true:
I shouldn't comment without having morning coffee first. And that's what I did in the morning. I will look at the bug report again tomorrow morning after I've slept enough and had caffeine. Right now the most useful thing I can write is Bonnie Tyler lyrics. :P
@qzb
@satya164
I think the dual monitor scenario did make things a little complicated to follow. Here's a couple screenshots of what's being reported here:
But that is how intelli-hide works, isn't it?
Maybe for this use-case, an always hidden option is the best solution.
@AlexMex90 Indeed it is how intelli-hide works.
This issue is not a bug, it is how intelli-hide should work. If you want to see your terminal, move your terminal up a bit.
Here is what I think (this time after I've actually slept and had enough caffeine): The intellhide behaviour works in this way: If the current active window covers the dock - the dock hides. If not (even if non active window covers it) - the dock is visible; The dual monitors case is a tad trickier: should the dock A) always be on the primary monitor (aka the first) B) or on the monitor that has the currently active window? The usual solution that most docks do (no matter bottom, left, right or top) is A). Personally, though I thin B) makes a tad more sense, so I am a tad in favour of it. Having said that I rarely work with dual monitors, so I may not be the correct person to talk about this. Thoughts anyone?
I have multiple monitors and I would prefer option A. Most of the work is being done on the primary monitor and not much happening with the secondary other than IRC/Youtube/Music, so no need for a dock at the second monitor.
This issue is not a bug, it is how intelli-hide should work. If you want to see your terminal, move your terminal up a bit.
^ This. I don't think there's anything wrong with the current implementation.
Also, option A is preferred (I work with dual monitors as well).
It seems that people that use dual monitors prefer A. It is safe enough to close this?
@me4oslav I think it is!
Personally I prefer A too, but this problem affects scenario A as well. Usually I have terminal on one monitor and browser on another. For example when I have browser with documentation within on primary monitor and write something in terminal, dock covers content of browser window and it piss me off. And to be clear - switching windows positions is no solution for me.
If you doesn't have time to fix it, I can try to prepare pull request by myself.
But what would your solution actually be? It takes less than a second to simply resize your window above where the dock would show.
But I don't wont to reducing window's area. It is not a solution it is a poor workaround. I described my solution earlier - dock shouldn't show up when focus leaves a primary monitor (but is should remain visible if it already is). It doesn't affect people using only one monitor.
Usually I work on two displays. When I work on primary one dock behaves correctly, but when i focus some window on secondary one dock pops out on primary display.