Skip to content

Conversation

@amir78729
Copy link
Member

@amir78729 amir78729 commented Jul 14, 2025

fixes #18

Feature

  • Implements an existing feature request or RFC. Make sure the feature
    request has been accepted for implementation before opening a PR.
  • Related issues linked using fixes #18
  • Tests added
  • Documentation added

@amir78729 amir78729 requested a review from mimshins July 14, 2025 11:14
@amir78729 amir78729 self-assigned this Jul 14, 2025
@amir78729 amir78729 added the enhancement New feature or request label Jul 14, 2025
@mimshins mimshins merged commit bce3ae7 into main Jul 19, 2025
6 checks passed
@github-actions github-actions bot mentioned this pull request Jul 19, 2025
@mimshins mimshins deleted the feat/core/add-show-and-hide-devtool-methods branch July 21, 2025 14:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

feat: show and hide dev tool programmatically

3 participants