Score:1

GNOME Shell Extension screen margin

ru flag

I am in love with tweaking my shell, and I have a few extensions installed. One of which is Hide Top Bar.
When enabled, my Desktop Icons (Desktop Icons: NEO/NG) shift up. This makes the top bar overlap the icons when the panel is shown, and I would like to fix this by shifting them back down.

The code that modifies the desktop's margins is in desktopIconsIntegration.js. I don't know what I would change to make the icons go back to their normal position, which is why I'm asking here.

TL;DR

Extension shifts down desktop icons.

I want this fixed, but don't know how to edit the desktopIconsIntegration.js file in the Hide Top Bar extension (linked above). GNOME 40, Ubuntu 21.10.

mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.