Disable diff hover highlight

This commit is contained in:
Thomas Nordquist
2019-04-25 09:00:44 +02:00
parent a56b41635c
commit fdbe6344d9

View File

@@ -182,16 +182,16 @@ const style = (theme: Theme) => {
deletion: { deletion: {
...gutterBaseStyle, ...gutterBaseStyle,
backgroundColor: 'rgba(255, 10, 10, 0.3)', backgroundColor: 'rgba(255, 10, 10, 0.3)',
'&:hover': { // '&:hover': {
backgroundColor: 'rgba(255, 10, 10, 0.6)', // backgroundColor: 'rgba(255, 10, 10, 0.3)',
}, // },
}, },
addition: { addition: {
...gutterBaseStyle, ...gutterBaseStyle,
backgroundColor: 'rgba(10, 255, 10, 0.3)', backgroundColor: 'rgba(10, 255, 10, 0.3)',
'&:hover': { // '&:hover': {
backgroundColor: 'rgba(10, 255, 10, 0.5)', // backgroundColor: 'rgba(10, 255, 10, 0.5)',
}, // },
}, },
} }
} }