String.indexof("")
PrintWriter fileWriter = new PrintWriter( new FileWriter( file ) );

String str = editArea.getText();

while( true )
{
pos = str.indexOf( '\12 ' , pos );//这里是用来干什么的？

if( pos == -1 )
{
break;
}

str = str.substring(0, pos) + '\15 ' + str.substring(pos);
pos = pos + 2;
}

fileWriter.print( str );
fileWriter.close();


这段代码中的‘/12’, '/15 '是代表什么意思？谢谢！

[解决办法]
这段代码中的‘/12’, '/15 '是代表什么意思？谢谢！

================================================

首先你的问题中,‘/12’, '/15 '写反了,应该是‘\12’, '\15 '
这是用ascii码表示的字符,注意12,15都是8进制,所以转成16进制就是0d和0a,其实就是回车和换号符啦!