| changeset 421 | 3ddbfa64f596 |
| parent 341 | 053551f213fb |
| child 422 | 37cd1c72115d |
| 420:0c2f890486c0 | 421:3ddbfa64f596 |
|---|---|
222 parent.toInitialSize(); |
222 parent.toInitialSize(); |
223 } |
223 } |
224 if (sv_withComments) { |
224 if (sv_withComments) { |
225 instanciateICommentForm(); |
225 instanciateICommentForm(); |
226 } |
226 } |
227 instanciateToc(); |
|
227 }, |
228 }, |
228 timeout :5 |
229 timeout :5 |
229 }, { |
230 }, { |
230 fn : function() { |
231 fn : function() { |
231 |
232 |