… | |
… | |
109 | /* |
109 | /* |
110 | * terminal limits: |
110 | * terminal limits: |
111 | * |
111 | * |
112 | * width : 1 <= width |
112 | * width : 1 <= width |
113 | * height : 1 <= height |
113 | * height : 1 <= height |
114 | * ncol : 1 <= ncol <= MAX(int16_t) |
114 | * ncol : 1 <= ncol <= MAX(tlen_t) |
115 | * nrow : 1 <= nrow <= MAX(int16_t) |
115 | * nrow : 1 <= nrow <= MAX(int) |
116 | * saveLines : 0 <= saveLines <= MAX(int16_t) |
116 | * saveLines : 0 <= saveLines <= MAX(int) |
117 | * total_rows : nrow + saveLines |
117 | * total_rows : nrow + saveLines |
118 | * nsaved : 0 <= nsaved <= saveLines |
118 | * nsaved : 0 <= nsaved <= saveLines |
119 | * term_start : 0 <= term_start < saveLines |
119 | * term_start : 0 <= term_start < saveLines |
120 | * view_start : 0 <= view_start < saveLines |
120 | * view_start : 0 <= view_start < saveLines |
121 | * |
121 | * |