| ▲ | actionfromafar 8 hours ago | |||||||
Which editors? | ||||||||
| ▲ | endunless 7 hours ago | parent [-] | |||||||
Given GitHub is owned by Microsoft, I think VS Code supporting mixing fonts in a buffer would be a good start! | ||||||||
| ||||||||
| ▲ | actionfromafar 8 hours ago | |||||||
Which editors? | ||||||||
| ▲ | endunless 7 hours ago | parent [-] | |||||||
Given GitHub is owned by Microsoft, I think VS Code supporting mixing fonts in a buffer would be a good start! | ||||||||
| ||||||||