| 文件类型 | APK |
|---|---|
| 版 | 1.0.221 |
| 发行人 | gesturedevelop |
| 发布日期 | 2019年6月5日 |
| 添加日期 | 2019年6月5日 |
| 操作系统要求 | Android |
| 要求 | Requires Android 4.0 and up |
| 下载总数 | 60 |
| 每周下载 | 3 |
| 价钱 | Free |
描述
Java Editor 是一个非常简单的Java 编辑器，它可以为语法节点着色：节点、属性、属性、事件，支持自动补全和搜索替换。打开带有扩展名的默认文件：jav、java。
| 文件类型 | APK |
|---|---|
| 版 | 1.0.221 |
| 发行人 | gesturedevelop |
| 发布日期 | 2019年6月5日 |
| 添加日期 | 2019年6月5日 |
| 操作系统要求 | Android |
| 要求 | Requires Android 4.0 and up |
| 下载总数 | 60 |
| 每周下载 | 3 |
| 价钱 | Free |
Java Editor 是一个非常简单的Java 编辑器，它可以为语法节点着色：节点、属性、属性、事件，支持自动补全和搜索替换。打开带有扩展名的默认文件：jav、java。