This is a read-only snapshot of the ComputerCraft forums, taken in April 2020.
matejdro's profile picture

[1.45] Corner characters are bigger than inside ones

Started by matejdro, 28 October 2012 - 01:57 PM
matejdro #1
Posted 28 October 2012 - 02:57 PM


Strips of both colors are 1 char wide/tall. But still, corner one (red one) is slightly bigger than blue one.

Is this intentional?

EDIT: I was doing some more tests (image updated) and it appears that character is not really bigger, just there is little space between it and screen corner. It would be cool if we could control if this extra space gets colored or not since it can make some interfaces look weird.
Cruor #2
Posted 28 October 2012 - 03:09 PM
That is indeed intentional :3 The same thing happends on very old screens to iirc :D/>/>
Cloudy #3
Posted 28 October 2012 - 04:06 PM
Works as intended. Would you prefer an ugly black border which is uneven at different sides?
matejdro #4
Posted 28 October 2012 - 05:14 PM
Well it would be interesting if you would add option like term.setBorderEnabled() or something. It would probably look less ugly than currently if you try to do draw some interface and top line is bigger than every other line.
Jan #5
Posted 28 October 2012 - 09:48 PM
It would be cool if we could control if this extra space gets colored or not since it can make some interfaces look weird.
How about making the monitor a few pixels less width and high, then there is no 'extra space' at all.
Would that be possible?
EDIT: Would possibly look ugly to have the text very close to the screen border.
Motion Flex #6
Posted 30 October 2012 - 11:45 AM
You can reduce the terminal size in the config, you know.
Jan #7
Posted 30 October 2012 - 09:10 PM
You can reduce the terminal size in the config, you know.
Yes you can make the amount of characters less or more, but you cant set the amount of pixels
Pharap #8
Posted 02 November 2012 - 04:29 PM
You can reduce the terminal size in the config, you know.
Yeah, but the problem remains regardless of size since it's a Java side thing related to the GUI rendering code.