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
Commonly updated settings should be updatable via the Launcher's dolphin settings page. These should not be editable when Dolphin is open because it wouldn't know the changes were made and overwrite them on close. This issue does not cover gecko codes (#177).
The text was updated successfully, but these errors were encountered:
I could take this on. Which dolphin settings exactly should be be configurable in the launcher UI? And how would we want the UI to display these configurations? (probably setting type dependent)
NikhilNarayana
changed the title
feat: ability to modify simple Dolphin settings
settings to modify simple Dolphin settings
Jan 17, 2022
NikhilNarayana
changed the title
settings to modify simple Dolphin settings
ability to modify simple Dolphin settings
Jan 17, 2022
Commonly updated settings should be updatable via the Launcher's dolphin settings page. These should not be editable when Dolphin is open because it wouldn't know the changes were made and overwrite them on close. This issue does not cover gecko codes (#177).
The text was updated successfully, but these errors were encountered: