Skip to content

Conversation

@bkonyi
Copy link
Contributor

@bkonyi bkonyi commented Nov 24, 2022

Example:

Screenshot 2022-11-24 at 9 21 37 AM

Fixes #4750

@bkonyi bkonyi requested review from a team, elliette and kenzieschmoll as code owners November 24, 2022 15:36
@bkonyi
Copy link
Contributor Author

bkonyi commented Dec 6, 2022

Friendly bump @kenzieschmoll and @elliette, still looking for a review :-)

Comment on lines 646 to 648
const Divider(
height: 0,
),
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

what is the purpose of a divider of height 0? does this actually add a border?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

height: 0 effectively removes the padding from around the divider. The divider is still rendered, just much closer to the widget above.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you use OutlineDecoration.onlyBottom instead?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It's not visually identical to a Divider, so we'd have two different line styles for the header horizontal divider and the vertical divider separating the two columns.

final report = await serviceManager.service!.getSourceReport(
isolateRef.id!,
const [SourceReportKind.kCoverage],
// TODO(bkonyi): make _Profile a public report type.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

is there a issue filed for this in the SDK?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@bkonyi bkonyi force-pushed the codeview_profiler branch from 436a817 to b134916 Compare December 7, 2022 15:38
@bkonyi bkonyi force-pushed the codeview_profiler branch from 93b1f8a to f4910f3 Compare December 7, 2022 22:03
@bkonyi bkonyi merged commit f9c1eeb into flutter:master Dec 7, 2022
@bkonyi bkonyi deleted the codeview_profiler branch December 7, 2022 23:26
bkonyi added a commit to bkonyi/devtools that referenced this pull request Jan 10, 2023
bkonyi added a commit that referenced this pull request Jan 10, 2023
@CoderDake CoderDake mentioned this pull request Jan 24, 2023
7 tasks
@DartDevtoolWorkflowBot DartDevtoolWorkflowBot mentioned this pull request Jan 24, 2023
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Source view is missing profiler data

2 participants