Skip to content

Remove more unused settings and update the docs accordingly#735

Merged
mattrose merged 2 commits intognome-terminator:masterfrom
Vulcalien:remove-deprecated-settings-2
Apr 5, 2023
Merged

Remove more unused settings and update the docs accordingly#735
mattrose merged 2 commits intognome-terminator:masterfrom
Vulcalien:remove-deprecated-settings-2

Conversation

@Vulcalien
Copy link
Copy Markdown
Member

@Vulcalien Vulcalien commented Apr 1, 2023

In the previous PR, I removed some global settings. This time, these are profile settings.
Looking at the git history, these settings were once in use, but became unused many years ago.

Removed settings: scroll_background, focus_on_close, cycle_term_tab, ignore_hosts.


There are a few more settings that I'm not totally sure if they are useful or not: term, colorterm and http_proxy. These cannot be accessed from the GUI, and they are used as environment variables.
However, I would say that should be done at the shell level, especially the proxy.

I've left them in there, in case someone is using them somehow.


Edit: removed the color_scheme setting as well.

Removed settings: scroll_background, focus_on_close, cycle_term_tab,
ignore_hosts.
@Vulcalien Vulcalien added the quality This that should be improved but aren't a bug or feature label Apr 1, 2023
The color scheme in use is determined by checking the
'foreground_color' and 'background_color' settings.
@mattrose mattrose merged commit 7a5fc01 into gnome-terminator:master Apr 5, 2023
@Vulcalien Vulcalien deleted the remove-deprecated-settings-2 branch April 6, 2023 00:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

quality This that should be improved but aren't a bug or feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants