Skip to content

Add back old playground shortcut with deprecation#16788

Merged
demarey merged 2 commits intopharo-project:Pharo13from
jecisc:old-playground-shortcut
Jun 20, 2024
Merged

Add back old playground shortcut with deprecation#16788
demarey merged 2 commits intopharo-project:Pharo13from
jecisc:old-playground-shortcut

Conversation

@jecisc
Copy link
Member

@jecisc jecisc commented Jun 19, 2024

Add CMD + O + W shortcut with a warning to the user that this shortcut got deprecated.

Add CMD + O + W shortcut with a warning to the user that this shortcut got deprecated.
@jecisc jecisc requested a review from demarey June 19, 2024 14:32
@demarey
Copy link
Contributor

demarey commented Jun 20, 2024

Thank you for the PR

@demarey demarey merged commit 53c363d into pharo-project:Pharo13 Jun 20, 2024
@jecisc jecisc deleted the old-playground-shortcut branch June 24, 2024 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants