latest automatic config changes

2018-03-13 12:09:40 +01:00
parent 195b10d4a7
commit bead4b8bb9
1 changed files with 5 additions and 0 deletions
--- a/astroid/config
+++ b/astroid/config
@@ -11,6 +11,10 @@
            "level": "0"
        }
    },
+    "terminal": {
+        "height": "10",
+        "font_description": "default"
+    },
    "thread_index": {
        "page_jump_rows": "6",
        "sort_order": "newest",
@@ -63,6 +67,7 @@
        "message_id_user": "max.mehl",
        "user_agent": "astroid",
        "send_delay": "6",
+        "close_on_success": "false",
        "format_flowed": "false"
    },
    "poll": {