equal
deleted
inserted
replaced
274 case Markup.Entity.Ref(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity))) |
274 case Markup.Entity.Ref(i) if focus(i) => Some((Nil, Some(Rendering.Color.entity))) |
275 case _ => None |
275 case _ => None |
276 } |
276 } |
277 case (_, Text.Info(_, XML.Elem(Markup.Markdown_Item(depth), _))) => |
277 case (_, Text.Info(_, XML.Elem(Markup.Markdown_Item(depth), _))) => |
278 val color = |
278 val color = |
279 depth match { |
279 depth % 4 match { |
280 case 1 => Rendering.Color.markdown_item1 |
280 case 1 => Rendering.Color.markdown_item1 |
281 case 2 => Rendering.Color.markdown_item2 |
281 case 2 => Rendering.Color.markdown_item2 |
282 case 3 => Rendering.Color.markdown_item3 |
282 case 3 => Rendering.Color.markdown_item3 |
283 case _ => Rendering.Color.markdown_item4 |
283 case _ => Rendering.Color.markdown_item4 |
284 } |
284 } |