Skip to content

Update ManagedShell, misc fixes#886

Merged
josuave merged 2 commits intomasterfrom
managedshell-306
Mar 24, 2025
Merged

Update ManagedShell, misc fixes#886
josuave merged 2 commits intomasterfrom
managedshell-306

Conversation

@dremin
Copy link
Collaborator

@dremin dremin commented Mar 24, 2025

  • Update ManagedShell and account for changes
  • Reimplement items dropped by ManagedShell
  • Use WorkArea change as notification to WindowManager

@dremin dremin requested a review from josuave March 24, 2025 00:48
@josuave josuave merged commit faef8ce into master Mar 24, 2025
5 checks passed
@josuave josuave deleted the managedshell-306 branch March 24, 2025 01:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants