Commit Graph
17 Commits
Author SHA1 Message Date
David Lechner d9211b5b10 switch to blueprintjs UI toolkit 2020-06-07 18:59:02 -05:00
Laurens Valk d0f5a42c85 app: allow doc videos to be full screen
Without this, the videos can be somewhat hard to see.
2020-06-05 16:47:38 +02:00
Laurens Valk 5190ee3878 app: fix docs not hiding on small viewports
This broke when the nested containers were dropped.

Also change breakpoint from medium to large, so that docs only show in large viewports.
2020-06-01 13:20:30 +02:00
Laurens Valk aa334c2d82 app: drop nested container
This achives the responsive editor height without a nested container.
2020-06-01 13:07:14 +02:00
Laurens Valk d04958bb01 app: configure environment color
Blue will be reserved for the buttons, not the borders
2020-05-29 10:24:05 -05:00
Laurens Valk c302b8aa91 app: remove duplicate padding due nested row/col 2020-05-29 10:24:05 -05:00
Laurens Valk f8fa09d866 app: show docs
Show only on large viewports, hide it on small viewports.
2020-05-29 10:24:05 -05:00
Laurens Valk 67de6c3af9 app: fill vertically & horizontally
Do not use a fixed height for the editor, but responsively scale to the remaining available height.

Also fill horizontally for a responsive layout. This gives us room to add left or right columns with docs or settings.
2020-05-29 10:24:05 -05:00
David Lechner dd9d789e9a license 2020-05-22 19:54:48 -05:00
David Lechner 3ae2fb2eef wire up firmware flash progress
Also turn off logging and longer checksum interval to improve performance

94K movehub fw flashes in about 1:45
2020-05-20 19:57:23 -05:00
David Lechner a44e97f4a3 terminal resizing 2020-05-04 22:08:44 -05:00
David Lechner 530f164af1 alphabetize imports 2020-04-19 15:53:28 -05:00
David Lechner 2772e76a62 clean up import order 2020-04-17 00:39:09 -05:00
David Lechner 0a50055574 add status bar 2020-04-15 19:29:01 -05:00
David Lechner 060c32e8a6 fix up terminal layout 2020-04-15 19:15:12 -05:00
David Lechner b155e45d8c add editor back in 2020-04-15 17:39:01 -05:00
David Lechner 1a72fc275b basic toolbar using bootstrap 2020-04-15 16:43:37 -05:00