想快速更改字体大小,在Eclipse中有办法做到这一点吗?
发布于 2018-01-11 14:28:49
看看这个项目:
http://code.google.com/p/tarlog-plugins/downloads/detail?name=tarlog.eclipse.plugins_1.4.2.jar&can=2&q=
它还有其他一些特性,但最重要的是,它有Ctrl++和Ctrl+-来改变字体大小
https://stackoverflow.com/questions/-100007130
相似问题