equal
deleted
inserted
replaced
2575 |
2575 |
2576 preferredExtent |
2576 preferredExtent |
2577 "return my preferred extent - this is computed from my numberOfLines, |
2577 "return my preferred extent - this is computed from my numberOfLines, |
2578 numberOfCols and font size" |
2578 numberOfCols and font size" |
2579 |
2579 |
2580 ^ (fontWidth * self class defaultNumberOfColumns + (leftMargin + margin * 2)) |
2580 ^ (fontWidth * self class defaultNumberOfColumns + ((leftMargin + margin) * 2)) |
2581 @ |
2581 @ |
2582 ((self heightForLines:self class defaultNumberOfLines) + 8) |
2582 ((self heightForLines:self class defaultNumberOfLines) + 8) |
2583 |
2583 |
2584 "Modified: / 20.6.1998 / 20:06:57 / cg" |
2584 "Modified: / 20-06-1998 / 20:06:57 / cg" |
|
2585 "Modified (format): / 16-11-2016 / 23:14:18 / cg" |
2585 ! |
2586 ! |
2586 |
2587 |
2587 terminalType |
2588 terminalType |
2588 "returns a string describing this terminal (usually, this is |
2589 "returns a string describing this terminal (usually, this is |
2589 passed down to the shell as TERM environment variable). |
2590 passed down to the shell as TERM environment variable). |