gs-extensions-drop-down-terminal icon indicating copy to clipboard operation
gs-extensions-drop-down-terminal copied to clipboard

Published 20 hours ago • verified publisher icon zzrough

Conflicts with Dash to Dock/Workspaces to Dock

Open PatrickTrentin88 opened this issue 11 years ago • 6 comments

~$ gnome-shell --version GNOME Shell 3.10.2.1 @ Fedora

Problem: When both Dash To Dock and Workspaces to Dock extensions are set "fixed/always visible", the dropped-down terminal correctly accounts for the space taken by those extension thus reducing its own size. Only that it adds padding on the right hand side of the screen equivalent to the sum of the two docks (instead of the only one active on the right), which causes the opened terminal to be displayed below the dash dock.

PatrickTrentin88 avatar Dec 23 '13 12:12 PatrickTrentin88

I have this issue as well.. I use dash-to dock only and the drop down terminal does account for the difference in screen size but it removes the extra size from the right side instead of the left

shanemikel avatar Mar 26 '14 01:03 shanemikel

I have the same issue. Adjust the terminal width in pixel or percent would a good workaround for me.

peddy76 avatar Jul 10 '15 06:07 peddy76

same issue here

edclement avatar Mar 30 '16 01:03 edclement

Hello, I have the same problem with dash to dock. Is there a way to resize terminal width?

PrzemekSkw avatar Nov 03 '17 18:11 PrzemekSkw

I have the same problem as well. I'd love to find a solution if anyone has any ideas.

sebiimaks avatar Nov 10 '17 11:11 sebiimaks

Hi, same issue at my end. Unfortunately even removing dash to dock extension doesn't help. Still overlaps and makes the terminal unusable. Any suggestions yet?

qu4nd avatar May 25 '18 10:05 qu4nd