David Lechner
b255a145e3
components/ViewHeightSensor: remove view height sensor
...
This appears to no longer be necessary for correct app height on Android.
2022-12-21 19:44:11 -06:00
David Lechner
d00297f53b
app: drop focus-within styling
...
This ended up causing dual focus rings which goes against ARIA recommendations.
2022-12-16 17:54:36 -06:00
David Lechner
2810088889
app: add empty alternate to icons in scss
...
We are using font icons, so we don't want screen readers to try to read
them.
2022-12-16 17:54:36 -06:00
David Lechner
b7a9c20cfe
app: remove use of deprecated iframe frameborder property
...
The recommended way to do this is to use style sheets instead.
2022-12-16 17:54:36 -06:00
David Lechner
bef91f948f
app: fix resize handle visible through activity pane
2022-12-08 17:10:47 -06:00
David Lechner
55cf05d480
app: add drag handles to resizable separators
...
This makes them easier to discover and an easier target for touch.
2022-12-06 15:38:58 -06:00
David Lechner
0e1a6c47a5
app: fix terminal padding for focus within outline
2022-05-18 10:57:42 -05:00
David Lechner
ef7f6d15c4
improve focus styles
2022-05-16 21:59:58 -05:00
David Lechner
6816795c6d
activities: use blueprintjs tabs for keyboard a18y
2022-05-12 19:17:09 -05:00
David Lechner
edd8ebfd64
Add Activities
...
This adds a new Activities tab list and view similar to VS code. The
Explorer and Settings are migrated to this view.
2022-05-12 12:33:21 -05:00
David Lechner
65623f801d
update for breaking blueprintjs style changes
...
it is no longer feasible to build the blueprintjs css ourselves, so we
just use all of the default variable values and override things using
selectors instead.
2022-05-11 18:13:36 -05:00
David Lechner
187a973fa3
app: fix terminal padding background color
2022-03-14 13:26:51 -05:00
David Lechner
6d0e97f50e
app: fix pb-app div size and background color
2021-12-27 12:38:51 -06:00
David Lechner
4da6f7e368
use overflow: hidden on splitter panes
...
This fixes problems with double scroll bars showing up.
Fixes: https://github.com/pybricks/pybricks-code/issues/406
Fixes: https://github.com/pybricks/pybricks-code/issues/407
2021-05-11 14:38:04 -05:00
David Lechner
cdd74706c5
toolbar is not a navbar
...
This adds custom styling for the toolbar (inspired by blueprintsjs
navbar). But this lets us use the correct role and not fight the
navbar styling so much.
2021-02-01 13:02:07 -06:00
David Lechner
37b5ebd8f7
app pb-app- prefix to terminal-padding class
2021-02-01 10:26:05 -06:00
David Lechner
334668bdfb
rework mobile view height
2021-02-01 10:26:05 -06:00
David Lechner
6f204a65f6
reorganize src/ directory
...
Makes for much less scrolling/jumping around.
https://redux.js.org/style-guide/style-guide#structure-files-as-feature-folders-or-ducks
2021-02-01 10:26:05 -06:00
David Lechner