96979899100101102103104105106
for (int i = 0; i < SquirrelTokenMarker.getNumTokenTypes(); i++) { Style s = styles[i]; if (s != null) { shcs.styles[i] = (Style) s.clone(); } } return shcs; }