Can I shrink gedit's side panel?
My laptop screen is fairly small and gedit's side panel won't go smaller than about 400 px. It is a little exasperating because I can't have any other windows visible if I want to use anything in the sidebar, because it crowds out my document.
Is there a setting someplace that I can fiddle to make it smaller? I've looked everywhere I can think of for it!
I can drag it down to the width you see below, but I can't drag it any farther than that.
Turned out it was a plugin. (GDP Find)
Figured that out by turning off my plugins one by one.