From bead4b8bb9df67000e032c26abd825c6acf360bd Mon Sep 17 00:00:00 2001 From: mxmehl Date: Tue, 13 Mar 2018 12:09:40 +0100 Subject: [PATCH] latest automatic config changes --- astroid/config | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/astroid/config b/astroid/config index d7af3d3..40e60ec 100644 --- 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": {