Cluter.Actor with Background Blur Effect
|
|
0
|
80
|
November 3, 2023
|
Gnome-terminal crashes immediately on start
|
|
3
|
162
|
December 3, 2023
|
Terminal theme issue in high contrast mode
|
|
2
|
134
|
October 26, 2023
|
How to change the color palette of the Terminal in Gnome Builder?
|
|
2
|
88
|
October 24, 2023
|
Gnome-terminal window id cannot be found by xdotool nor wmctrl
|
|
5
|
431
|
May 20, 2023
|
Gnome Terminal appears minimized when open through the file manager
|
|
1
|
164
|
May 12, 2023
|
Launching Multiple Tabs in Gnome Terminal
|
|
2
|
815
|
March 23, 2023
|
Terminal: How to select many lines? by finding regular expression? found another solution!
|
|
1
|
278
|
March 9, 2023
|
Add the possibility to change the Terminal window name from the menu
|
|
1
|
133
|
February 1, 2023
|
Integrate Gnome-Terminal with the dark mode settings
|
|
1
|
249
|
December 23, 2022
|
How do you change default terminal?
|
|
3
|
5828
|
June 28, 2022
|
[how to] How to preserve my color scheme on gnome-terminal for future use
|
|
1
|
277
|
April 20, 2022
|
Implementing font size in gnome-terminal
|
|
1
|
302
|
January 12, 2022
|
Automounting Internal drives
|
|
7
|
369
|
December 9, 2021
|
Gnome Terminal does not change tab title when SSHing into other machines
|
|
5
|
564
|
November 19, 2021
|
How do I hide the headerbar / for just gnome-terminal?
|
|
2
|
1220
|
January 27, 2021
|