void ToggleHead() { String name = buffer.getName(); int dot=name.lastIndexOf('.'); if (dot == -1) return; String ext = name.substring(dot+1); char newext; if (ext.startsWith("h")) newext='c'; else newext = 'h'; String basename = name.substring(0,dot-1); buffers = jEdit.getBuffers(); for(i = 0; i < buffers.length; ++i) { bname=buffers[i].getName(); dot = bname.lastIndexOf('.'); if (dot == -1) continue; if (basename.compareTo(bname.substring(0,dot-1)) == 0) if (bname.charAt(dot+1)== newext) { jEdit.getActiveView().setBuffer(buffers[i]); return; } } } ToggleHead();