gs-extensions-drop-down-terminal
gs-extensions-drop-down-terminal copied to clipboard
zzrough
Customizable width
Mmhh, a single person asked for it (width set in %, so the terminal is centered on the screen) so I'm not very akin to do it, but this is a trivial change as long as it stays out of the preferences UI.
Maybe I'll add an "Advanced Tab" or something, but editing height in one tab and width in the other would be weird.
#111 changes width to a size value. Anyway, I think changing this request to "custom padding preference" would make more sense. I think it would allow for greater customisability with no added complexity, while being easier to explain in a tool tip.
In the future, tossing this preference into a child dialogue window would make sense if there are more advanced positioning and size customisations added.
I'm currently hacking this in, by changing extension.js:520 to: this._windowWidth = screenWidth * 0.6;
Note that it is anchored top-left. If people want to be able to center it, then it might be an idea to expand the terminal positions from 4 possibilities to 8, so it can be anchored to the center of any edge or to any corner.
