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": {