equal
deleted
inserted
replaced
130 option inner_cartouche_color : string = "CC6600FF" |
130 option inner_cartouche_color : string = "CC6600FF" |
131 option inner_comment_color : string = "CC0000FF" |
131 option inner_comment_color : string = "CC0000FF" |
132 option dynamic_color : string = "7BA428FF" |
132 option dynamic_color : string = "7BA428FF" |
133 option class_parameter_color : string = "D2691EFF" |
133 option class_parameter_color : string = "D2691EFF" |
134 |
134 |
135 option markdown_item1_color : string = "DAFEDAFF" |
135 option markdown_bullet1_color : string = "DAFEDAFF" |
136 option markdown_item2_color : string = "FFF0CCFF" |
136 option markdown_bullet2_color : string = "FFF0CCFF" |
137 option markdown_item3_color : string = "E7E7FFFF" |
137 option markdown_bullet3_color : string = "E7E7FFFF" |
138 option markdown_item4_color : string = "FFE0F0FF" |
138 option markdown_bullet4_color : string = "FFE0F0FF" |
139 |
139 |
140 |
140 |
141 section "Icons" |
141 section "Icons" |
142 |
142 |
143 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png" |
143 option tooltip_close_icon : string = "idea-icons/actions/closeHovered.png" |