--- a/src/Tools/jEdit/etc/options Mon Aug 10 14:14:49 2015 +0200
+++ b/src/Tools/jEdit/etc/options Mon Aug 10 16:05:41 2015 +0200
@@ -100,6 +100,8 @@
option spell_checker_color : string = "0000FFFF"
option bad_color : string = "FF6A6A64"
option intensify_color : string = "FFCC6664"
+option breakpoint_color : string = "00CC0032"
+option breakpoint_active_color : string = "00CC0064"
option quoted_color : string = "8B8B8B19"
option antiquoted_color : string = "FFC83219"
option antiquote_color : string = "6600CCFF"