作者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