📄 writefile.js
字号:
importPackage(java.io);function writeFile( file, stream ) { var buffer = new PrintWriter( new FileWriter( file ) ); buffer.print( stream ); buffer.close();}function read( file ) { var jq = new File(file); var reader = new BufferedReader(new FileReader(jq)); var line = null; var buffer = new java.lang.StringBuffer(jq.length()); while( (line = reader.readLine()) != null) { buffer.append(line); buffer.append("\n"); } return buffer.toString();}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -