src/Tools/jEdit/etc/options
changeset 60881 91a9a4395903
parent 60878 1f0d2bbcf38b
child 60913 7432d6bb4195
equal deleted inserted replaced
60880:fa958e24ff24 60881:91a9a4395903
    98 option legacy_message_color : string = "EEE8AAFF"
    98 option legacy_message_color : string = "EEE8AAFF"
    99 option error_message_color : string = "FFC1C1FF"
    99 option error_message_color : string = "FFC1C1FF"
   100 option spell_checker_color : string = "0000FFFF"
   100 option spell_checker_color : string = "0000FFFF"
   101 option bad_color : string = "FF6A6A64"
   101 option bad_color : string = "FF6A6A64"
   102 option intensify_color : string = "FFCC6664"
   102 option intensify_color : string = "FFCC6664"
   103 option breakpoint_color : string = "00CC0019"
   103 option breakpoint_color : string = "00CC0014"
   104 option breakpoint_active_color : string = "00CC0050"
   104 option breakpoint_active_color : string = "00CC0032"
   105 option quoted_color : string = "8B8B8B19"
   105 option quoted_color : string = "8B8B8B19"
   106 option antiquoted_color : string = "FFC83219"
   106 option antiquoted_color : string = "FFC83219"
   107 option antiquote_color : string = "6600CCFF"
   107 option antiquote_color : string = "6600CCFF"
   108 option highlight_color : string = "50505032"
   108 option highlight_color : string = "50505032"
   109 option hyperlink_color : string = "000000FF"
   109 option hyperlink_color : string = "000000FF"