|
|
|
|
|
|
|
|
oldList.add(prevBox); |
|
|
oldList.add(prevBox); |
|
|
oldList.addFirst((KnuthGlue) knuthPar.removeLast()); |
|
|
oldList.addFirst((KnuthGlue) knuthPar.removeLast()); |
|
|
oldList.addFirst((KnuthPenalty) knuthPar.removeLast()); |
|
|
oldList.addFirst((KnuthPenalty) knuthPar.removeLast()); |
|
|
|
|
|
oldList.addFirst((KnuthBox) knuthPar.removeLast()); |
|
|
} |
|
|
} |
|
|
// adding a letter space could involve, according to the text |
|
|
// adding a letter space could involve, according to the text |
|
|
// represented by oldList, replacing a glue element or adding |
|
|
// represented by oldList, replacing a glue element or adding |