Make header draggable again

Change-type: patch
Changelog-entry: Make header draggable again
Signed-off-by: Lorenzo Alberto Maria Ambrosi <lorenzothunder.ambrosi@gmail.com>
This commit is contained in:
Lorenzo Alberto Maria Ambrosi 2019-12-11 12:32:02 +01:00
parent 444b0beaca
commit de65c02222
3 changed files with 4 additions and 3 deletions

View File

@ -293,8 +293,8 @@ export const Flash = ({
action={'Continue'} action={'Continue'}
primaryButtonProps={{ primary: false, warning: true }} primaryButtonProps={{ primary: false, warning: true }}
> >
{_.map(warningMessages, message => ( {_.map(warningMessages, (message, key) => (
<Txt whitespace="pre-line" mt={2}> <Txt key={key} whitespace="pre-line" mt={2}>
{message} {message}
</Txt> </Txt>
))} ))}

View File

@ -101,6 +101,7 @@ const MainPage = ({ $state }: any) => {
return ( return (
<ThemedProvider style={{ height: '100%' }}> <ThemedProvider style={{ height: '100%' }}>
<header <header
id="app-header"
style={{ style={{
width: '100%', width: '100%',
padding: '13px 14px', padding: '13px 14px',

View File

@ -21,7 +21,7 @@ body {
/* Allow window to be dragged from anywhere */ /* Allow window to be dragged from anywhere */
body > header { #app-header {
-webkit-app-region: drag; -webkit-app-region: drag;
} }