Re: [問題] 如何使用 api 改變 text editor 字形
※ 引述《qrtt1 (null)》之銘言：
: 大家好，
: 弟最近想要寫一個 plugin，希望能動態改變 text editor 的字型
: 像在 office 內能以 ctrl + 變大文字、以ctrl - 縮小文字
: 不過目前尚未查到如何改變字型大小的 api，希望獲得一點方向。
目前採用的方法是直接取得 editor 的 Control 物件
http://www.javaworld.com.tw/jute/post/view?bid=10&id=235999&sty=3
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.133.80.216
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：
Eclipse 近期熱門文章
PTT數位生活區 即時熱門文章
