diff options
| author | Joris | 2020-08-09 18:46:05 +0200 |
|---|---|---|
| committer | Joris | 2020-08-09 18:46:05 +0200 |
| commit | 2936f06576997bffe7903ea840df563a408efc21 (patch) | |
| tree | 0fd9c802c73df3e506ac0f65cdd2f48ba3de6a60 /src/View/Map.ml | |
| parent | 225068497c5fd41da12030a6bbf58a0fc9c294d0 (diff) | |
Improve autocompletion usage
Diffstat (limited to 'src/View/Map.ml')
| -rw-r--r-- | src/View/Map.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/View/Map.ml b/src/View/Map.ml index c85a791..6e2611e 100644 --- a/src/View/Map.ml +++ b/src/View/Map.ml @@ -46,7 +46,7 @@ let mapView state map markers = |] [| H.text "Map" |] ; Layout.line - [| |] + [| HA.class_ "g-Layout__HeaderImportExport" |] [| H.input [| HA.id "g-Header__ImportInput" ; HA.type_ "file" @@ -68,7 +68,7 @@ let mapView state map markers = [| |] ; H.label [| HA.for_ "g-Header__ImportInput" - ; HA.class_ "g-Header__ImportLabel" + ; HA.class_ "g-Button__Text" |] [| H.text "Import" |] ; Button.text |