Merge branch 'master' into dev_0.6

2020-05-21 15:41:17 +02:00
parent cc35704899 9f003abcc3
commit cb36e90149
10 changed files with 62 additions and 32 deletions
@@ -1,5 +1,5 @@
 [Main]
-timestamp = 2020-05-01 21:28:25
+timestamp = 2020-05-21 14:52:36
 theme = default
 syntax = default_light
 icons = typicons_grey_light
@@ -40,6 +40,7 @@ showtabsnspaces = False
 showlineendings = False
 bigdoclimit = 800
 showfullpath = True
+highlightquotes = True

 [Backup]
 backuppath =