Is there a way to separately set up size of the GUI of the default terminal? Because it seems to be by default linked to the gui size of minecraft, and i prefer to play with a smaller GUI, resulting in screen and text being VERY small, and it honestly starts to take too much effort just to read it