Michel2/pybricks-code
1
0
Fork 0
mirror of https://github.com/pybricks/pybricks-code.git synced 2026-09-15 02:54:07 +00:00
Code Issues Releases Activity
210 Commits 12 Branches 59 Tags
55457701a5cd4fccb4bbb75a6740fd7d13c939d2
Commit Graph
14 Commits
Author SHA1 Message Date
Laurens Valk e9783ff821 tweak beta watermark 2020-06-16 09:39:09 +02:00
David Lechner 2fdcea091e add beta watermark 2020-06-16 09:39:09 +02:00
David Lechner 0940226a4d use utility classes 
similar to how bootstrap works
 2020-06-07 21:39:58 -05:00
David Lechner f4692d4134 style tweaks 
making it looks a bit more like before the UI toolkit change
 2020-06-07 19:24:25 -05:00
David Lechner d9211b5b10 switch to blueprintjs UI toolkit 2020-06-07 18:59:02 -05: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 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