[Question] How to change the font size dynamically?

[haifengkao]

I would like to have different font sizes for different monitors.
It's tedious to change nyaovimrc.html everytime.

Expected Behavior

In console type

document.getElementById('nyaovim-editor').fontSize = 25;

the font size in the editor windows should be changed.

Actual Behavior

nothing happened.

Steps to Reproduce (including precondition)

• open developer console
• type

document.getElementById('nyaovim-editor').fontSize = 25;

Your Environment

• OS: OSX 10.11
• NyaoVim version: 0.0.22
• nvim version: 0.2.0-dev

[Nymphium]

I've just created a plugin to do.
https://github.com/Nymphium/nyaovim-dynfont