diff --git a/Batch File/Comments.tmPreferences b/Batch File/Comments.tmPreferences index ef30779fa5..0720613b9b 100644 --- a/Batch File/Comments.tmPreferences +++ b/Batch File/Comments.tmPreferences @@ -13,12 +13,36 @@ value rem + + name + TM_COMMENT_CASE_INSENSITIVE + value + yes + name TM_COMMENT_START_2 value + @rem + + + name + TM_COMMENT_CASE_INSENSITIVE_2 + value + yes + + + name + TM_COMMENT_START_3 + value :: + + name + TM_COMMENT_START_4 + value + ::: +