[bug 802] - Ability to undo or restore changes to the preferences #802#822

Merged

mattrose merged 2 commits intognome-terminator:masterfrom vssdeo:802-Ability-to-undo-or-restore-changes-to-the-preferences

Feb 5, 2024

+94-9

Commits on Sep 4, 2023

[bug 802] - Ability to undo or restore changes to the preferences gnome-terminator#802
vssdeo
committed

Commits on Sep 11, 2023

[bug 802] 802-Ability-to-undo-or-restore-changes-to-the-preferences gnome-terminator#802
vssdeo
committed