Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove settings 'hide_tabbar' and 'disable_real_transparency' #734

Merged

Conversation

Vulcalien
Copy link
Member

Very small change, just cleanup of two legacy settings.

disable_real_transparency is already completely unused.
hide_tabbar was replaced by tab_position = 'hidden' and marked as deprecated in 2010.

'disable_real_transparency' is already completely unused,
'hide_tabbar' was replaced by 'tab_position' = 'hidden' and marked as
deprecated in 2010.
@Vulcalien Vulcalien added the quality This that should be improved but aren't a bug or feature label Mar 31, 2023
@mattrose
Copy link
Member

Thank you!

@mattrose mattrose merged commit 0df00c4 into gnome-terminator:master Mar 31, 2023
@Vulcalien Vulcalien deleted the remove-deprecated-settings branch March 31, 2023 19:16
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