idea to later revisit for terminal_prefs