Skip to content

Conversation

@jrfcodingame
Copy link
Contributor

Adding IWorkbenchThemeService to export list

@jrfcodingame jrfcodingame requested a review from CGNonofr July 17, 2025 13:50
CGNonofr
CGNonofr previously approved these changes Jul 17, 2025
@jrfcodingame jrfcodingame force-pushed the jrf/add-IWorkbenchThemeService-export branch from f3ac18c to 6cc12c4 Compare July 18, 2025 10:36
@jrfcodingame jrfcodingame force-pushed the jrf/add-IWorkbenchThemeService-export branch from 6cc12c4 to 772d054 Compare July 18, 2025 14:16
@CGNonofr CGNonofr merged commit c6891bd into main Jul 18, 2025
2 checks passed
@CGNonofr CGNonofr deleted the jrf/add-IWorkbenchThemeService-export branch July 18, 2025 14:55
@github-actions
Copy link

🎉 This PR is included in version 18.4.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants