103104105106107108109110111112113
cb.delete(di,di+5); // take all (...) out while ( (di = cb.indexOf('(')) > -1) { int di2 = cb.indexOf(')',di); if (di2 > di) cb.delete(di,di2+1); } for (int i = 0; i < cb.length(); i++) {
242243244245246247248249250251252
parseDescr = "parsing href, looking for next \""; i = readToAndEat(cb,i,'\"',t); while (t.startsWith("../")) t.delete(0,3); int ai = t.indexOf('#'); if (ai > -1) { path = t.substring(0,ai); anchor = t.substring(ai + 1); } else { path = t.toString();