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
2ee64e3711
app: update button icons
2020-05-29 10:24:05 -05: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
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
a44e97f4a3
terminal resizing
2020-05-04 22:08:44 -05:00
David Lechner
b1e99e0582
implement notifications
2020-04-20 13:57:58 -05:00
David Lechner
1a72fc275b
basic toolbar using bootstrap
2020-04-15 16:43:37 -05:00