src/Tools/jEdit/etc/options
changeset 60913 7432d6bb4195
parent 60881 91a9a4395903
child 60914 f39d004f2ff4
equal deleted inserted replaced
60912:3852e87e9b88 60913:7432d6bb4195
    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 = "00CC0014"
   103 option breakpoint_disabled_color : string = "00CC66FF"
   104 option breakpoint_active_color : string = "00CC0032"
   104 option breakpoint_enabled_color : string = "CC6600FF"
   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"