Allow me to choose coding font I already have installed on the iPad

[zrzka]

I bought PragmataPro font long time ago and I do use it everywhere. Console, PyCharm, ... I also did install PragamtaPro font on my iPad (globally, any app can use it). See Pages for example ...

... but Pythonista doesn't allow me to do it without hacks. Installed fonts are not listed in the following dialog ...

... would be nice if the list contains other fonts as well. I understand that these fonts are pre picked, some of them are bundled, ... I can think of something like Recommended fonts section and All fonts section for example, just to keep existing list alive.

[zrzka]

As I'm a big fan of this font, here's the screenshot of how it looks like in the Pythonista :)

Here are more examples.

[zrzka]

Side notes ...

• EditorFontName works, but OutputFontName (guessing it's console?) has no effect at all
• If I set EditorFontName, Pythonista is showing (null) in the UI

[0xADD1E]

While it would certainly be nice to have a proper UI to do this, would it be easier in the mean time to allow the UserDefaults to control the terminal font as well, to at least allow those of us intent on using our preferred font to have a way to do so?