You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 2, 2024. It is now read-only.
Hello , I found this plugin really useful. However, I have noticed that the console cell still uses default font as well as the advanced setting pages. I am wondering is there a way to use this plugin to customize the default font family (which is Menlo for mac) for all the monospaced font?
Thanks
Hello , I found this plugin really useful. However, I have noticed that the console cell still uses default font as well as the advanced setting pages. I am wondering is there a way to use this plugin to customize the default font family (which is Menlo for mac) for all the monospaced font?
Thanks