From 402a68d816504c76cac71078e4f10c6d987fcf79 Mon Sep 17 00:00:00 2001 From: Brian Vaughn Date: Mon, 10 Jun 2019 11:14:27 -0700 Subject: [PATCH] Fixed minor border bug in Profiling tab toolbar --- src/devtools/views/Profiler/Profiler.js | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/devtools/views/Profiler/Profiler.js b/src/devtools/views/Profiler/Profiler.js index 5d4f8e579e..96f7f05597 100644 --- a/src/devtools/views/Profiler/Profiler.js +++ b/src/devtools/views/Profiler/Profiler.js @@ -1,6 +1,6 @@ // @flow -import React, { useContext } from 'react'; +import React, { Fragment, useContext } from 'react'; import { CommitFilterModalContextController } from './CommitFilterModalContext'; import { ModalDialog } from '../ModalDialog'; import { ProfilerContext } from './ProfilerContext'; @@ -98,8 +98,12 @@ function Profiler(_: {||}) {
-
- {didRecordCommits && } + {didRecordCommits && ( + +
+ + + )}
{view}