[問題] 如何使用 api 改變 text editor 字形

[qrtt1 (null)]

        大家好，

        弟最近想要寫一個 plugin，希望能動態改變 text editor 的字型

        像在 office 內能以 ctrl + 變大文字、以ctrl - 縮小文字

        不過目前尚未查到如何改變字型大小的 api，希望獲得一點方向。


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.13.88