File-Editor: Change default font size

[nickjer]

Bootstrap uses the font size 14px, would it be possible to use 14px instead of the 12px, which I find hard to read (I am old), as the default font size for the editor.

┆Issue is synchronized with this Asana task by Unito

[brianmcmichael]

12px is a pretty standard font size for editors and word processors, which is why I went with that.

There should also be a cookie that stores your preference and sets it on your return. Is that not working for you?

[brianmcmichael]

I wonder if the cookies are expiring. Maybe we could switch the memory of your settings over to localStorage so it persists longer.

[nickjer]

Even the font size here on github is 14px. Also, gedit on my OS uses font size 12px, but the 12px in Ace Editor is far smaller than what I see in gedit.

[nickjer]

Here is ace editor next to hterm:

[ayushchatur]

@johrstrom @nickjer @brianmcmichael i believe this is already going into local storage PFA screentshot

[johrstrom]

It saves what you've set, but if you've never set anything it defaults to 12. I think that's what this ticket is about, the value we default to if there's nothing previously set.

[matt257]

reviewed, very good first issue