[問題] 如何使用 api 改變 text editor 字形
大家好，
弟最近想要寫一個 plugin，希望能動態改變 text editor 的字型
像在 office 內能以 ctrl + 變大文字、以ctrl - 縮小文字
不過目前尚未查到如何改變字型大小的 api，希望獲得一點方向。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.13.88
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
Eclipse 近期熱門文章
PTT數位生活區 即時熱門文章
