You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Some users have a preference for different fonts (monospace vs sans serif) and colors as well. We should allow users to customize their display - likely similar to an editor.
Some users have a preference for different fonts (monospace vs sans serif) and colors as well. We should allow users to customize their display - likely similar to an editor.
Example feedback from HN: https://news.ycombinator.com/item?id=37562134
Implementation details are likely to be similar to #29
Opening this to feedback as well in terms of what kinds of font/color/customizations people would be looking for :)
The text was updated successfully, but these errors were encountered: