--- a/src/Tools/VSCode/extension/package.json Sun Mar 05 22:06:13 2017 +0100
+++ b/src/Tools/VSCode/extension/package.json Sun Mar 05 22:32:33 2017 +0100
@@ -93,7 +93,11 @@
"isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
"isabelle.quoted_dark_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
"isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
- "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" }
+ "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
+ "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
+ "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
+ "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
+ "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" }
}
}
},