作者qrtt1 (null)
看板Eclipse
標題Re: [問題] 如何使用 api 改變 text editor 字形
時間Sun Aug 10 18:02:03 2008
※ 引述《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