-
Adam Barth authored
We were trying to update the tooltip overlay entry, but that cannot work because the overlay entry might have already built. Instead, we keep the old value. Fixes #7151
86e5fce6
| Name |
Last commit
|
Last update |
|---|---|---|
| .idea | ||
| bin | ||
| dev | ||
| examples | ||
| packages | ||
| .analysis_options | ||
| .analysis_options_repo | ||
| .analysis_options_user | ||
| .gitignore | ||
| .travis.yml | ||
| AUTHORS | ||
| CONTRIBUTING.md | ||
| ISSUE_TEMPLATE.md | ||
| LICENSE | ||
| README.md | ||
| VERSION |