You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
selecting text etc .. are not always possible, due to the text sticking to the uttermost leftside of the screen.
Describe the solution you'd like
Add somewhere the possibility to add some additional space (pixels) between the first letters of output.
It will be visual appealing but also more usefull when selecting the text from left to right.
As you can see, i've added a screenshot where the prompt is a bit more indented.
But that has been done in my .bashrc file where my PS1 CLI is configured, the padding should also be for the rest of the output.
Kind Regards.
The text was updated successfully, but these errors were encountered:
This is not true. You can always start selecting text at the left half of the leftmost character cell. It might be a bit inconvenient, too narrow to position your mouse, but possible.
Anyway. To increase the default padding of 1px, place something like this in your ~/.config/gtk-3.0/gtk.css
I use the same solution. My $HOME/.config/gtk-3.0/gtk.css looks like this:
/** * Works for Gtk and VTE-based terminal emulators.. */vte-terminal,terminal-window {
padding:8px8px8px8px;
-vte-terminal-inner-border:12px12px18px12px;
}
I don't remember why I have the inner border setting thing 😅, but it was probably necessary at some point or for some other terminal.
Is your feature request related to a problem? Please describe.
selecting text etc .. are not always possible, due to the text sticking to the uttermost leftside of the screen.
Describe the solution you'd like
Add somewhere the possibility to add some additional space (pixels) between the first letters of output.
It will be visual appealing but also more usefull when selecting the text from left to right.
As you can see, i've added a screenshot where the prompt is a bit more indented.
But that has been done in my .bashrc file where my PS1 CLI is configured, the padding should also be for the rest of the output.
Kind Regards.
The text was updated successfully, but these errors were encountered: