|
@@ -62,8 +62,8 @@ describe('<PdfLogsEntries/>', function () {
|
|
|
)
|
|
)
|
|
|
}
|
|
}
|
|
|
|
|
|
|
|
- // TODO: ide-redesign-cleanup: Remove this wrapper when the styles are no
|
|
|
|
|
- // longer nested in .ide-redesign-main .error-logs
|
|
|
|
|
|
|
+ // TODO: Remove the ide-redesign-main wrapper when dark-mode buttons are rolled
|
|
|
|
|
+ // out globally.
|
|
|
const LogsPanel = ({ children }: { children: ReactElement }) => (
|
|
const LogsPanel = ({ children }: { children: ReactElement }) => (
|
|
|
<div className="ide-redesign-main">
|
|
<div className="ide-redesign-main">
|
|
|
<div className="error-logs"> {children}</div>
|
|
<div className="error-logs"> {children}</div>
|