I did see that gsettings line for changing the highlighted gedit line. Had the page opened in my browser for days. Gone now. Can’t find it anywhere.
What was it again?
Sorry. I clicked the wrong ‘reply’ button, I’ll retry: can you post that gsettings gedit tweak, please?
Thanks a bundle!
(It works.)
1 Like
Here you go:
gsettings set org.gnome.gedit.preferences.editor highlight-current-line false
Have you tried this?
No, but it sounds great!
(I would not have found the gsettings command, though: I hadn’t gotten around using it yet.)
1 Like
You can also use history | grep gsettings if you sort of know in general what you used before (or grep combined with any likely-present keyword).
I’m not sure what you are asking me …
Are you trying to change the background of the lockscreen ?
What is you goal ?
Yes but if you don’t know it’s no problem. 
Seems like you already saw this, didn’t the “phosh-lockscreen” section in the following post, worked for you ?
You wrote about the “pulldown panel”, did you mean the hidden top panel holding the settings ?
Seems like Guido Günther calls it the “Quick settings” panel, so maybe you can try and create a section with the name “quick-settings”
Well, I tried quick-settings quick_settings and phosh-quick-settings
Thanks for your help.