(String s)
| 793 | } |
| 794 | |
| 795 | String detabLine(String s) { |
| 796 | if (s.indexOf('\t')<0) |
| 797 | return s; |
| 798 | int tabSize = 4; |
| 799 | StringBuffer sb = new StringBuffer((int)(s.length()*1.25)); |
| 800 | char c; |
| 801 | for (int i=0; i<s.length(); i++) { |
| 802 | c = s.charAt(i); |
| 803 | if (c=='\t') { |
| 804 | for (int j=0; j<tabSize; j++) |
| 805 | sb.append(' '); |
| 806 | } else |
| 807 | sb.append(c); |
| 808 | } |
| 809 | return sb.toString(); |
| 810 | } |
| 811 | |
| 812 | void undo() { |
| 813 | if (IJ.isWindows()) { |