Jedit Gui
24 views
Skip to first unread message
right
Oct 21, 2012, 1:52:49 PM10/21/12
to jedi...@googlegroups.com
pi1ot
Oct 21, 2012, 9:33:55 PM10/21/12
to jedi...@googlegroups.com
jre的look&feel本来就是可以换的，但是尝试过一些还是jre自带的几个在细节上最完善，空间利用率最高。
在 2012年10月22日星期一UTC+8上午1时52分49秒，right写道：
在 2012年10月22日星期一UTC+8上午1时52分49秒，right写道：
不知道这东东是否可否让Gui更漂亮些……
Reply all
Reply to author
Forward
0 new messages