183 |
183 |
184 |
184 |
185 /* decorations */ |
185 /* decorations */ |
186 |
186 |
187 def decorations: List[Document_Model.Decoration] = // list of canonical length and order |
187 def decorations: List[Document_Model.Decoration] = // list of canonical length and order |
188 VSCode_Rendering.color_decorations("background_", VSCode_Rendering.background_colors, |
188 Par_List.map((f: () => List[Document_Model.Decoration]) => f(), |
189 background(VSCode_Rendering.background_elements, model.content.text_range, Set.empty)) ::: |
189 List( |
190 VSCode_Rendering.color_decorations("foreground_", Rendering.Color.foreground_colors, |
190 () => |
191 foreground(model.content.text_range)) ::: |
191 VSCode_Rendering.color_decorations("background_", VSCode_Rendering.background_colors, |
192 VSCode_Rendering.color_decorations("text_", Rendering.Color.text_colors, |
192 background(VSCode_Rendering.background_elements, model.content.text_range, Set.empty)), |
193 text_color(model.content.text_range)) ::: |
193 () => |
194 VSCode_Rendering.color_decorations("text_overview_", Rendering.Color.text_overview_colors, |
194 VSCode_Rendering.color_decorations("foreground_", Rendering.Color.foreground_colors, |
195 text_overview_color) ::: |
195 foreground(model.content.text_range)), |
196 VSCode_Rendering.color_decorations("dotted_", VSCode_Rendering.dotted_colors, |
196 () => |
197 dotted(model.content.text_range)) ::: |
197 VSCode_Rendering.color_decorations("text_", Rendering.Color.text_colors, |
|
198 text_color(model.content.text_range)), |
|
199 () => |
|
200 VSCode_Rendering.color_decorations("text_overview_", Rendering.Color.text_overview_colors, |
|
201 text_overview_color), |
|
202 () => |
|
203 VSCode_Rendering.color_decorations("dotted_", VSCode_Rendering.dotted_colors, |
|
204 dotted(model.content.text_range)))).flatten ::: |
198 List(spell_checker) |
205 List(spell_checker) |
199 |
206 |
200 def decoration_output(decoration: Document_Model.Decoration): Protocol.Decoration = |
207 def decoration_output(decoration: Document_Model.Decoration): Protocol.Decoration = |
201 { |
208 { |
202 val content = |
209 val content = |