You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
When one modifies the dock's settings from the GUI, the dock will prioritize the docks.ini file over the new saved preferences.
To Reproduce
Go into the GUI preferences of plank dock.
Set the plank's position to the bottom.
log out and back in.
Expected behavior
What would happen is that the dock will revert back to the left, despite setting it to the bottom upon logging back in.
My proposed solution
I noticed that when I removed some of the settings from the dock.ini file as shown in the image, the corresponding GUI setting seems to save again. Perhaps there can be some sort of post-install script that removes some of the original settings from the dock.ini file.
The text was updated successfully, but these errors were encountered:
Rhino Linux Version:
Rhino Linux 2023.4
Platform:
[x86_64]
Describe the bug
When one modifies the dock's settings from the GUI, the dock will prioritize the docks.ini file over the new saved preferences.
To Reproduce
Expected behavior
What would happen is that the dock will revert back to the left, despite setting it to the bottom upon logging back in.
My proposed solution
I noticed that when I removed some of the settings from the dock.ini file as shown in the image, the corresponding GUI setting seems to save again. Perhaps there can be some sort of post-install script that removes some of the original settings from the dock.ini file.
The text was updated successfully, but these errors were encountered: