Add theme: Rodrigo Red (fixes #189)

Open FrontEndCoffee opened this issue 7 years ago • 2 comments

screen shot 2018-11-05 at 16 09 34

Nov 05 '18 15:11 FrontEndCoffee

Haha, are we memorialising Rodrigo's name with this theme? 😄

On a serious note, let's ask them what the name of that theme should be. I don't really feel good about using people's names for themes. Do you mind reaching out to them on #189 to get their feedback? If they don't respond, we can drop the theme, anyway.

Thanks for following up on this, btw.

Nov 05 '18 20:11 paracycle

@paracycle The theme name just rolls of the tongue, I couldn't help myself 😂 . But of course you are right, it is their theme after all.

@rodrigokono What would you choose as the theme name?

Nov 05 '18 20:11 FrontEndCoffee