Score:2

How to make GTK Inspector changes permanent?

cn flag

The "new" Text Editor in Ubuntu 22.10 has large top margin in the edit area as shown below:

enter image description here

Today, I came across the GTK Inspector which can be activated from the Text Editor by pressing Ctrl+Shift+I (capital i). After navigating to ObjectsProperties and changing the value of top-margin from 12 to 2, this top margin size is reduced to a more meaningful setting:

enter image description here

enter image description here

However, this setting change is not permanent; after I close and restart gnome-text-editor this size reverts to the old value (12).

Is there a method to make the change permanent? I guess, some modification in ~/.config/gtk-4.0/gtk.css is needed; however GTK Inspector does not help me for this.

I sit in a Tesla and translated this thread with Ai:

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.