@@ -1079,6 +1084,7 @@ class EditorComments extends BaseEditorOption<EditorOption.comments, EditorComme
constructor(){
constdefaults:EditorCommentsOptions={
insertSpace:true,
ignoreEmptyLines:true,
};
super(
EditorOption.comments,'comments',defaults,
...
...
@@ -1088,6 +1094,11 @@ class EditorComments extends BaseEditorOption<EditorOption.comments, EditorComme
default:defaults.insertSpace,
description:nls.localize('comments.insertSpace',"Controls whether a space character is inserted when commenting.")
},
'editor.comments.ignoreEmptyLines':{
type:'boolean',
default:defaults.ignoreEmptyLines,
description:nls.localize('comments.ignoreEmptyLines','Controls if empty lines should be ignored with toggle, add or remove actions for line comments.')
},
}
);
}
...
...
@@ -1099,6 +1110,7 @@ class EditorComments extends BaseEditorOption<EditorOption.comments, EditorComme