[Property Editor] Add a footer for opening documentation / reporting errors #9099
Conversation
| ], | ||
| ), | ||
| ), | ||
| const _PropertyEditorFooter(), |
There was a problem hiding this comment.
can we use the existing StatusLine widget or at least its sub components?
There was a problem hiding this comment.
It looks like the StatusLine and its components expect there to be a Screen, which doesn't exist for the Property Editor or other side panels - I think there would be some refactoring necessary to make that work but could do as a follow-up!
The side panel "screens" are actually widgets and not Screens:
There was a problem hiding this comment.
sg to clean up later. At the very least we could make the DocumentationLink widget more general and not depend on a screen
| const uriPrefix = 'https://docs.flutter.dev/tools/'; | ||
| const uriHash = '#property-editor'; | ||
| return '$uriPrefix${queryParams.ide == 'VSCode' ? 'vs-code' : 'android-studio'}$uriHash'; |
There was a problem hiding this comment.
we should verify with the docs maintainers that there is a way to ensure we don't have to duplicate the content even if it is documented at two different locations.
There was a problem hiding this comment.
Yes, if nothing else I was planning on having these sections link to a shared Property Editor section
Note: The slightly odd alignment of the "Docs" text is also an issue for the normal DevTools footer. Filed #9098 (will fix if I have time, but trying to get in a few other changes before the cut off!)
Documentation hasn't been written yet, but I will add it to the Flutter site before the stable release.