commit 321aac02e670851079d8664cf0dba791e379070c
parent 04438db5e7655040e1f159d9a9749627453f6309
Author: Ashymad <czilukim@o2.pl>
Date: Tue, 6 Mar 2018 19:23:45 +0100
New version
Diffstat:
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/astroid/.config/astroid/config b/astroid/.config/astroid/config
@@ -11,6 +11,10 @@
"level": "0"
}
},
+ "terminal": {
+ "height": "10",
+ "font_description": "default"
+ },
"thread_index": {
"page_jump_rows": "6",
"sort_order": "newest",
@@ -62,6 +66,7 @@
"message_id_user": "",
"user_agent": "default",
"send_delay": "2",
+ "close_on_success": "false",
"format_flowed": "true"
},
"poll": {