Skip to navigation

Question:
How to use another terminator terminal with different fontsizes and layouts

When in doubt, use brute force.