Custom Font / Theme

[Bubobubobubobubo]

I would like to start working on an option to choose a different font / theme. There are a few nice options here for fonts (https://www.nerdfonts.com/font-downloads), we could also include weird glyphs just for fun.

Proposed plan:

•  Choose a few fonts with clear open-source/libre licensing
• Simplify the addition of new fonts by users/contributors
• cmdk submenu to select a font and/or theme (Cmd+J) menu (?)

I already have something working on my personal branch. I just need a bit more help to tame the React-based fancy submenu :)

[Bubobubobubobubo]

flok_contrib.mov

Got this working. Will probably need help testing / theming stuff :)

[munshkr]

OMG Thank you!! I've been wanting to add these UI settings for a long time! :)

[Bubobubobubobubo]

A small update on my future PR.

Fonts

I have added a small font collection with font preview in the menu. It is a mix of popular and more niche fonts. JGS and Steps Mono were crafted by french live coders Adel Faure and Raphaël Bastide and released on Velvetyne (https://velvetyne.fr/).

• JetBrains
• Monaco
• Courier
• Monocraft
• BigBlue Terminal
• JGS
• Steps Mono
• IBM Plex Mono
• Inconsolata

Themes

I don't really like working on themes. It is an highly subjective/divise topic and no matter what you do, people will always complain :) Anyway, I have added a few themes that are readable and vanilla-flavoured. There is still a bit of work to do to tame the TypeScript compiler and to arrange the themes so they look nice and don't suddenly break with ugly colors. It would be nice to have some help on that matter, I really don't like frontend work.

• Dracula
• Monokai
• Gruvbox (Dark)
• Ayu (Dark)
• Tokyo Night
• Nord

[igormpc]

great work Bubobubobubobubo !! maybe add also gruvbox / gruvbox-dark themes?? really waiting anxious for vim mode/edit :D !! thx in advance !!

[Bubobubobubobubo]

great work Bubobubobubobubo !! maybe add also gruvbox / gruvbox-dark themes?? really waiting anxious for vim mode/edit :D !! thx in advance !!

I have refactored my work and replaced weird themes by well known ones. I also added GruvBox Dark. The light version was not rendering beautifully so I scraped it 🧑‍🔧 Note that you can already build/try my fork if you want to try it!

[Bubobubobubobubo]

I am closing this issue since work is underway with #283.