search

element-hq / element-integration-manager

Element Integration Manager related issues
6 stars 1 forks source link

Extensions manager still thinks widget is in the room after removing it in Element #61

Open anoadragon453 opened 1 year ago

anoadragon453 commented 1 year ago

Describe the bug If you remove a widget using the buttons in Element (as opposed to hitting "Delete" in the extensions manager), opening up the extensions manager continues to show the widget under the "Added to this room banner.

To Reproduce Steps to reproduce the behavior:

  1. Use the extensions manager to add a widget to the room.
  2. Open the widget so that it's visible in Element's UI
  3. Go to the top right corner of the widget, click the ... menu, and click "Remove for everyone" and confirm.
  4. Open the extensions manager again and see that it still thinks the widget is in the room.

Expected behavior The extensions manager realises that the widget no longer exists in the room.

Screenshots image

Client (please complete the following information):

Half-Shot commented 1 year ago

Hmm, wonder if it's a bug where our installation IDs that we keep in state are not reacting to removed widgets. Will consult the oracle.

justinbot commented 1 year ago

Yeah this is not a bug per se, more of a poor UX which ultimately will need to be solved with better integration manager support in clients.

It comes down desync between the state the extension is supposed to have (invited users, their power levels, added widgets) and the actual state of the room which can of course be changed externally from the integration manager.

You can avoid it for now by only making changes from within Extensions. For a widget, instead of Remove for everyone, you can press Edit and then Delete.