I was watching a YT vid when a text editor with a certain font was shown. I liked the look of the font and I wanted to know what it was. A few hours and many "name the font" sites later, I've still got nothing. If anyone could identify the font pictured, I would very grateful and if some kind of mad genius wants to try and identity the text editor too, that would be even better. Thanks

Thanks very much!