Skip to content
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.

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

Move extension settings to a new tab #230

Merged
merged 14 commits into from
Aug 19, 2024
Merged

Move extension settings to a new tab #230

merged 14 commits into from
Aug 19, 2024

Conversation

ruihildt
Copy link
Member

@ruihildt ruihildt commented Aug 1, 2024

Moving extension settings to a new tab will allow us to drastically improve the management of proxies for specific sites.

This is the first step.

@ruihildt ruihildt marked this pull request as draft August 1, 2024 12:30
@ruihildt ruihildt force-pushed the options-proxies-list branch 2 times, most recently from 6e3b6eb to 6dbaa5d Compare August 14, 2024 15:40
@ruihildt ruihildt requested review from hankolsen and mulmat August 14, 2024 15:47
@ruihildt ruihildt marked this pull request as ready for review August 14, 2024 15:48
@ruihildt ruihildt force-pushed the options-proxies-list branch 3 times, most recently from 1e288fd to e2a995a Compare August 16, 2024 13:19
Base automatically changed from fix-proxy-badge to main August 19, 2024 15:33
@ruihildt ruihildt force-pushed the options-proxies-list branch from e2a995a to a36963e Compare August 19, 2024 16:01
@ruihildt ruihildt merged commit a36963e into main Aug 19, 2024
1 check passed
@ruihildt ruihildt deleted the options-proxies-list branch August 19, 2024 16:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Development

Successfully merging this pull request may close these issues.

2 participants