Toggle decorations in terminal with F12