New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix(plugins): support multiple users #930

Merged

imsnif merged 3 commits into main from plugin-multiple-users

Dec 8, 2021

Member

imsnif commented Dec 8, 2021

This is another layer of preparation for supporting multiple users.

In this episode, we:

Change plugins so that one is created for each user
Change the infrastructure around them so that plugins are individually updated by user actions (rather than all relevant plugins be updated for each relevant user action)
Change the various input mode tracking around the app so that it's per client. This has the upshot that even not in mirrored sessions, the plugins are unique per client (which provides for a much nicer user experience).

imsnif added 3 commits

December 8, 2021 17:22


          fix(plugins): support multiple clients

40edaaa


          fix(style): make clippy happy

a72673d


          Merge branch 'main' into plugin-multiple-users

e106e64

imsnif merged commit 92bddf1 into main

har7an deleted the plugin-multiple-users branch

October 23, 2022 15:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet