added use dark theme for terminal in configuration