Conversation
There was a problem hiding this comment.
If I change both the inner gaps and outer gaps options in the settings, the single "gaps" option in the top-right menu does not get updated:
If I change the option in the top-right menu, both the inner and outer options in Settings get updated. It seems like we need to consider whether the separate options should be shown in the top-right menu, or which option the top-right menu should show if they're set differently; as it is, the top-right option displays an incorrect value if one or both options are changed in Settings.
One other thing I noticed is that, while the other options are synced immediately between the top-right menu and Settings, they are not synced from Settings to the Extensions -> Pop Shell page until that page is closed and re-opened. (They do sync in the other direction from Extensions -> Pop Shell to Settings immediately.) That one seems like it might be a limitation of the Extensions app/preferences page system, and if that's the case, we should remove any settings being exposed in Settings from the experimental Extensions -> Pop Shell page after this is merged.
|
Also, should a .desktop file be added so this new page can be searched via the launcher? |
3 participants
Based on #32