mike06

Thanks, but this is actually on a mac, so there is no File>Options menu.

Hey all, this is likely a simple procedure. I'm trying to change the font, color, and size for built-in terminal sessions. If I right click in a terminal session when it's active, I can display font color, and the panel to change the font and size. However, selecting different options leaves the font unchanged in the terminal window. Is this a bug or am I attempting this change in the wrong place?