safer handling for prepend_terminal()
fix for terminal setting not updating in UI per #48