Skip to content

Remove settings 'hide_tabbar' and 'disable_real_transparency'#734

Merged
mattrose merged 1 commit intognome-terminator:masterfrom
Vulcalien:remove-deprecated-settings
Mar 31, 2023
Merged

Remove settings 'hide_tabbar' and 'disable_real_transparency'#734
mattrose merged 1 commit intognome-terminator:masterfrom
Vulcalien:remove-deprecated-settings

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