Welcome!
This is the community forum for my apps Pythonista and Editorial.
For individual support questions, you can also send an email. If you have a very short question or just want to say hello — I'm @olemoritz on Twitter.
[Share Code] Custom editor font
-
Recently, I asked if it is possible to use custom fonts in the editor.
After some experimentation with this, I ended up with a script to automatically load a custom font and set it as Pythonistas default font.
You can download the example font from http://cdn.kollmer.me/embed/SFMono-Regular.otf
Add the script to your
site-packages
Folder and add the following lines to yourpythonista-startup.py
file:import custom_editor_font import editor import console # point this to your font file font_path = "file://" + os.path.expanduser("~/Documents/Fonts/SFMono/SFMono-Regular.otf") custom_editor_font.load_custom_font(font_path) font_name = "SFMono-Regular" font_size = 15 custom_editor_font.set_editor_font(font_name, font_size) console.set_font(font_name, font_size) editor._get_editor_tab().reloadFile()
Now, just change the font name and size based on your preferences.
NOTE: This is not a perfect solution and may crash or stop working at any time
-
Seems like it would be nice to put this into UI form using the
dialogs
module. Perhaps an updated where fonts can be loaded from a server too. Cool.