X-Git-Url: https://git.arvados.org/arvados-workbench2.git/blobdiff_plain/3397792fd6c0a2aa2000d8aa8e1b33dfe0d93577..b9cd512debf45e62d9b81a12b4ac64fde998c356:/src/views/process-log-panel/process-log-code-snippet.tsx diff --git a/src/views/process-log-panel/process-log-code-snippet.tsx b/src/views/process-log-panel/process-log-code-snippet.tsx index 99388d66..d02fc02c 100644 --- a/src/views/process-log-panel/process-log-code-snippet.tsx +++ b/src/views/process-log-panel/process-log-code-snippet.tsx @@ -3,10 +3,18 @@ // SPDX-License-Identifier: AGPL-3.0 import * as React from 'react'; -import { MuiThemeProvider, createMuiTheme } from '@material-ui/core/styles'; -import { CodeSnippet, CodeSnippetDataProps } from '~/components/code-snippet/code-snippet'; +import { MuiThemeProvider, createMuiTheme, StyleRulesCallback, withStyles, WithStyles } from '@material-ui/core/styles'; +import { CodeSnippet } from '~/components/code-snippet/code-snippet'; import grey from '@material-ui/core/colors/grey'; +type CssRules = 'codeSnippet'; + +const styles: StyleRulesCallback = () => ({ + codeSnippet: { + maxHeight: '550px', + } +}); + const theme = createMuiTheme({ overrides: { MuiTypography: { @@ -19,13 +27,16 @@ const theme = createMuiTheme({ } }, typography: { - fontFamily: 'VT323' + fontFamily: 'monospace' } }); -type ProcessLogCodeSnippet = CodeSnippetDataProps; +interface ProcessLogCodeSnippetProps { + lines: string[]; +} -export const ProcessLogCodeSnippet = (props: ProcessLogCodeSnippet) => - - - ; \ No newline at end of file +export const ProcessLogCodeSnippet = withStyles(styles)( + (props: ProcessLogCodeSnippetProps & WithStyles) => + + + ); \ No newline at end of file