看板 [ Eclipse ]
討論串[問題] 如何使用 api 改變 text editor 字形
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] 如何使用 api 改變 text editor 字形
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者qrtt1 (null)時間16年前 (2008/08/10 13:13), 編輯資訊
1
0
0
內容預覽:
大家好，. 弟最近想要寫一個 plugin，希望能動態改變 text editor 的字型. 像在 office 內能以 ctrl + 變大文字、以ctrl - 縮小文字. 不過目前尚未查到如何改變字型大小的 api，希望獲得一點方向。. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ F
#2
Re: [問題] 如何使用 api 改變 text editor 字形
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者qrtt1 (null)時間16年前 (2008/08/10 18:02), 編輯資訊
0
0
1
內容預覽:
目前採用的方法是直接取得 editor 的 Control 物件. http://www.javaworld.com.tw/jute/post/view?bid=10&id=235999&sty=3. --. ※ 發信站: 批踢踢實業坊(ptt.cc). ◆ From: 220.133.80.216
首頁
上一頁
1
下一頁
尾頁