How do I change the font type, style or size for glitch code editor?

Glitch Help
1

How do I change the font type, style or size for glitch code editor?

2

Hi @saurabhjawas,

The editor does not have this feature built in. However, you should be able to use a browser extension like stylebot to adjust the font.

Do any members of the community have experience doing this? If so, how does it work for you?

3

I believe Melody (https://glitch.com/~melody) has rethemed the Glitch editor - they demoed it at BangBangCon after their talk, and came and visited the Glitch offices recently.

One way to do it, in Chrome, is with a custom Chrome extension, following this recipe: https://bugs.chromium.org/p/chromium/issues/detail?id=340072#c4 I followed that recipe to make this: GlitchEditorStyleSheet.zip (834 Bytes)

Another way, which is pretty similar, would be to use Stylus, a browser extension that is available in multiple browsers, which is for putting custom CSS on particular pages.

Hope this helps,

Johnicholas

1 Like
4

Necromancing this post…

Here’s an example css injection bookmarklet that i made using this tool

.text-editor .CodeMirror{
    font-family: "Fira Code",Menlo,Consolas,Monaco,"Lucida Console",Monospace;
    font-size: 20px;
}

You can drag it to your bookmarks bar and try it out in the editor.

1 Like