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

看板Eclipse作者 (null)時間17年前 (2008/08/10 13:13), 編輯推噓0(0推 0噓 0→)
留言0則, 0人參與, 最新討論串1/2 (看更多)
大家好， 弟最近想要寫一個 plugin，希望能動態改變 text editor 的字型 像在 office 內能以 ctrl + 變大文字、以ctrl - 縮小文字 不過目前尚未查到如何改變字型大小的 api，希望獲得一點方向。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.13.88
‣ 更多 qrtt1 的文章
文章代碼(AID): #18ddZn5- (Eclipse)
‣ 更多 qrtt1 的文章
文章代碼(AID): #18ddZn5- (Eclipse)