Skip to content

Use new Accelerate Dev Tools #151

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

Merged
merged 3 commits into from
May 14, 2025
Merged

Use new Accelerate Dev Tools #151

merged 3 commits into from
May 14, 2025

Conversation

pauldumais
Copy link
Contributor

@pauldumais pauldumais commented May 2, 2025

Install new Accelerate Dev Tools and allow users with an appropriate licence to enable them by setting an environment variable: USE_AVALONIA_ACCELERATE_TOOLS=true (F12 defaults to new tools then, F10 opens the old ones).

Everyone else continues to have access to the original free dev tools.

@pauldumais pauldumais requested a review from apman May 2, 2025 15:26
@apman apman force-pushed the accelerate-dev-tools branch from ba19fbf to c691b56 Compare May 13, 2025 21:42
@apman apman force-pushed the accelerate-dev-tools branch 2 times, most recently from 7790831 to cc61e65 Compare May 14, 2025 20:53
@apman apman force-pushed the accelerate-dev-tools branch from cc61e65 to 17463d1 Compare May 14, 2025 20:58
@apman apman merged commit 44aef1a into master May 14, 2025
@apman apman deleted the accelerate-dev-tools branch May 14, 2025 21:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants