# HG changeset patch
# User wenzelm
# Date 1439231104 -7200
# Node ID 91a9a439590383204e4ebf15ee1d8370f7b5e842
# Parent  fa958e24ff24f3b4051dbb7a19f654b33a8cd5f7
tuned rendering;

diff -r fa958e24ff24 -r 91a9a4395903 src/Tools/jEdit/etc/options
--- a/src/Tools/jEdit/etc/options	Mon Aug 10 20:22:49 2015 +0200
+++ b/src/Tools/jEdit/etc/options	Mon Aug 10 20:25:04 2015 +0200
@@ -100,8 +100,8 @@
 option spell_checker_color : string = "0000FFFF"
 option bad_color : string = "FF6A6A64"
 option intensify_color : string = "FFCC6664"
-option breakpoint_color : string = "00CC0019"
-option breakpoint_active_color : string = "00CC0050"
+option breakpoint_color : string = "00CC0014"
+option breakpoint_active_color : string = "00CC0032"
 option quoted_color : string = "8B8B8B19"
 option antiquoted_color : string = "FFC83219"
 option antiquote_color : string = "6600CCFF"