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.

Sign up for GitHub

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

Jump to bottom

disable opening the docs panel #3034

Merged

devoncarew merged 1 commit into main from disable_doc_panel

Aug 1, 2024

Member

devoncarew commented Jul 31, 2024

Disable opening the documentation panel; this is too disruptive when people are editing code. We should switch to using a tooltip (Minor refactor of the UI #3032).

I’ve reviewed the contributor guide and applied the relevant portions to this PR.

Contribution guidelines:

See our contributor guide for general expectations for PRs.
Larger or significant changes should be discussed in an issue before creating a PR.
Contributions to our repos should follow the Dart style guide and use dart format.
Most changes should add an entry to the changelog and may need to rev the pubspec package version.
Changes to packages require corresponding tests.

Note that many Dart repos have a weekly cadence for reviewing PRs - please allow for some latency before initial review feedback.


          disable opening the docs panel

parlough approved these changes

View reviewed changes

devoncarew merged commit 3c7850f into main

4 checks passed

devoncarew deleted the disable_doc_panel branch

August 1, 2024 21:44

devoncarew mentioned this pull request

lightweight dartpad embedding #2702

Open

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

Labels

None yet