Steps to Reproduce
- Open 'Profile Preferences'.
- For any of the options (at least the ones under 'General' tab), say 'Use custom default terminal size', note the initial choice (selected or deselected).
- Search for the corresponding gsettings key. Say,
gsettings get org.mate.terminal.profile:/ use-custom-default-size. They match (probably because they are the default setting).
- Change the option in GUI (select in our example) and check the gsettings key. Key value has not changed.
- Normalise (i.e., deselect again from GUI) and this time, change the key value (to 'true' in our example). Check GUI if it has changed. The GUI option has not changed.
Expected Behavior
Any changes in GUI should be reflected in corresponding gsettings key and vice versa.
Actual Behavior
One does not change the other. In fact, gsettings key changes have no effect on GUI at all, whereas GUI preference changes work as expected.
Error Output
Version
1.26.1 and 1.28.3
Distribution
Checked on Debian/stable, UM noble, Debian/Sid and Fedora44 and Artix all up-to-date.
Additional Context
While discussing issues #443 and #474, I encountered this by chance.
Reproducibility
Every time
Checklist
Steps to Reproduce
gsettings get org.mate.terminal.profile:/ use-custom-default-size. They match (probably because they are the default setting).Expected Behavior
Any changes in GUI should be reflected in corresponding gsettings key and vice versa.
Actual Behavior
One does not change the other. In fact, gsettings key changes have no effect on GUI at all, whereas GUI preference changes work as expected.
Error Output
Version
1.26.1 and 1.28.3
Distribution
Checked on Debian/stable, UM noble, Debian/Sid and Fedora44 and Artix all up-to-date.
Additional Context
While discussing issues #443 and #474, I encountered this by chance.
Reproducibility
Every time
Checklist