new default astroid config values

2018-07-02 09:10:01 +02:00
parent b997ea0747
commit 3b366b4a17
1 changed files with 4 additions and 0 deletions
--- a/astroid/config
+++ b/astroid/config
@@ -79,6 +79,9 @@
    },
    "thread_view": {
        "open_html_part_external": "false",
+        "preferred_type": "plain",
+        "preferred_html_only": "false",
+        "allow_remote_when_encrypted": "false",
        "open_external_link": "xdg-open",
        "default_save_directory": "~",
        "indent_messages": "true",
@@ -103,6 +106,7 @@
        "gpg": {
            "path": "gpg2",
            "always_trust": "true",
+            "enabled": "true",
            "auto_key_retrieve": "false"
        }
    },