search

nand2tetris / web-ide

A web-based IDE for https://nand2tetris.org
https://nand2tetris.github.io/web-ide
Other
38 stars 11 forks source link

Fix header tooltip being cropped #257

Closed netalondon closed 2 months ago

netalondon commented 3 months ago

A recent change aimed at making the header scrollable on mobile resulted in the tooltips being cropped.