Fausto-Korpsvart / Tokyonight-GTK-Theme

A GTK theme based on the Tokyo Night colour palette.
https://www.pling.com/p/1681315/
GNU General Public License v3.0
470 stars 30 forks source link

dock has too much space at the top #19

Closed furkanguzel161 closed 1 year ago

furkanguzel161 commented 1 year ago

hello the dock has too much space at the top. Screenshot from 2022-08-31 03-49-02

Fausto-Korpsvart commented 1 year ago

hello the dock has too much space at the top. Screenshot from 2022-08-31 03-49-02

That's quite strange, I've been testing and nothing like that happens on my desktop with the same theme. What distro are you using and what version of GNOME?

furkanguzel161 commented 1 year ago

hello the dock has too much space at the top. Screenshot from 2022-08-31 03-49-02

That's quite strange, I've been testing and nothing like that happens on my desktop with the same theme. What distro are you using and what version of GNOME?

problem solved after installing dash to dock and rebooting but no idea which one solved the problem maybe both. Screenshot from 2022-09-01 00-28-18

Fausto-Korpsvart commented 1 year ago

hello the dock has too much space at the top. Screenshot from 2022-08-31 03-49-02

That's quite strange, I've been testing and nothing like that happens on my desktop with the same theme. What distro are you using and what version of GNOME?

problem solved after installing dash to dock and rebooting but no idea which one solved the problem maybe both. Screenshot from 2022-09-01 00-28-18

When installing Dash To Dock it takes the extension settings and that may fix the error, but the strange thing is that I've tested on Fedora and Manjaro and there are no errors, I think it's Ubuntu theme settings error.

Thanks for reporting the bug, I'll keep looking for the source of the problem to fix it.

furkanguzel161 commented 1 year ago

hello the dock has too much space at the top. Screenshot from 2022-08-31 03-49-02

That's quite strange, I've been testing and nothing like that happens on my desktop with the same theme. What distro are you using and what version of GNOME?

problem solved after installing dash to dock and rebooting but no idea which one solved the problem maybe both. Screenshot from 2022-09-01 00-28-18

When installing Dash To Dock it takes the extension settings and that may fix the error, but the strange thing is that I've tested on Fedora and Manjaro and there are no errors, I think it's Ubuntu theme settings error.

Thanks for reporting the bug, I'll keep looking for the source of the problem to fix it.

There is also this happening sometimes but rebooting it fixes probably related to this issue. Screenshot from 2022-09-01 01-41-43