diff options
| author |  Vijay A <avijayr@protonmail.com> | 2021-07-28 19:24:47 +0530 |
|---|---|---|
| committer |  Vijay Raghavan Aravamudhan <vraravam@users.noreply.github.com> | 2021-07-28 15:46:43 +0000 |
| commit | d671afec794992d052f6f6b7ea73a571e67db7c1 (patch) | |
| tree | 940f97875da81b34465e1981461ec7152c2b08a5 /uidev | |
| parent | - updated classnames to 2.3.1 to use added type definitions (diff) | |
| download | ferdium-app-d671afec794992d052f6f6b7ea73a571e67db7c1.tar.gz ferdium-app-d671afec794992d052f6f6b7ea73a571e67db7c1.tar.zst ferdium-app-d671afec794992d052f6f6b7ea73a571e67db7c1.zip | |
Minor refactoring to use the destructured code pattern while importing from other modules.
Diffstat (limited to 'uidev')
| -rw-r--r-- | uidev/src/app.tsx | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/uidev/src/app.tsx b/uidev/src/app.tsx index c025e8825..41930e805 100644 --- a/uidev/src/app.tsx +++ b/uidev/src/app.tsx | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | import * as CSS from 'csstype'; | 1 | import { Property } from 'csstype'; |
| 2 | import { Classes } from 'jss'; | 2 | import { Classes } from 'jss'; |
| 3 | import { observer } from 'mobx-react'; | 3 | import { observer } from 'mobx-react'; |
| 4 | import DevTools from 'mobx-react-devtools'; | 4 | import DevTools from 'mobx-react-devtools'; |
| @@ -35,7 +35,7 @@ const styles = { | |||
| 35 | }, | 35 | }, |
| 36 | menu: { | 36 | menu: { |
| 37 | width: 300, | 37 | width: 300, |
| 38 | position: 'fixed' as CSS.Property.Position, | 38 | position: 'fixed' as Property.Position, |
| 39 | listStyleType: 'none', | 39 | listStyleType: 'none', |
| 40 | fontSize: 14, | 40 | fontSize: 14, |
| 41 | overflow: 'scroll', | 41 | overflow: 'scroll', |
| @@ -66,7 +66,7 @@ const styles = { | |||
| 66 | borderBottom: '1px solid #CFCFCF', | 66 | borderBottom: '1px solid #CFCFCF', |
| 67 | }, | 67 | }, |
| 68 | sectionLink: { | 68 | sectionLink: { |
| 69 | fontWeight: 'bold' as CSS.Property.FontWeight, | 69 | fontWeight: 'bold' as Property.FontWeight, |
| 70 | color: '#000', | 70 | color: '#000', |
| 71 | textDecoration: 'none', | 71 | textDecoration: 'none', |
| 72 | }, | 72 | }, |