enhancementgood first issue
倉庫指標
- 星標
- (54 顆星)
- PR 合併指標
- (平均合併 18天 1小時) (30 天內合併 2 個 PR)
描述
A few options to improve the experience of using rgbds-live:
- specify font size; could be on-screen buttons, a field in the "settings" menu and/or keyboard shortcuts (currently the only way to make font size bigger is to live edit the stylesheet in the web browser)
- disable suggestions/autocomplete ; it is good at the beginning but then it is not needed and makes the interface feel slow
Thanks!