diff options
| author | Laurenz <laurmaedje@gmail.com> | 2020-10-03 11:18:25 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2020-10-03 11:18:25 +0200 |
| commit | 75e6dbfbe6cbd3c3245c825627881a16bfbd6c5d (patch) | |
| tree | 587b57e5ab09b72ca0d2a5c25cf2cb8f8579303e /src/layout/tree.rs | |
| parent | 730715c064294337ee9befc3b9332d45eb74818f (diff) | |
Rename bold/italic to strong/emph ✏
Diffstat (limited to 'src/layout/tree.rs')
| -rw-r--r-- | src/layout/tree.rs | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/layout/tree.rs b/src/layout/tree.rs index 14359b86..b43ef089 100644 --- a/src/layout/tree.rs +++ b/src/layout/tree.rs @@ -60,24 +60,24 @@ impl<'a> TreeLayouter<'a> { match &node.v { SynNode::Space => self.layout_space(), SynNode::Text(text) => { - if self.style.text.italic { - decorate(self, Decoration::Italic); + if self.style.text.emph { + decorate(self, Decoration::Emph); } - if self.style.text.bolder { - decorate(self, Decoration::Bold); + if self.style.text.strong { + decorate(self, Decoration::Strong); } self.layout_text(text).await; } SynNode::Linebreak => self.layouter.finish_line(), SynNode::Parbreak => self.layout_parbreak(), - SynNode::ToggleItalic => { - self.style.text.italic = !self.style.text.italic; - decorate(self, Decoration::Italic); + SynNode::Emph => { + self.style.text.emph = !self.style.text.emph; + decorate(self, Decoration::Emph); } - SynNode::ToggleBolder => { - self.style.text.bolder = !self.style.text.bolder; - decorate(self, Decoration::Bold); + SynNode::Strong => { + self.style.text.strong = !self.style.text.strong; + decorate(self, Decoration::Strong); } SynNode::Heading(heading) => self.layout_heading(heading).await, @@ -116,7 +116,7 @@ impl<'a> TreeLayouter<'a> { async fn layout_heading(&mut self, heading: &NodeHeading) { let style = self.style.text.clone(); self.style.text.font_scale *= 1.5 - 0.1 * heading.level.v as f64; - self.style.text.bolder = true; + self.style.text.strong = true; self.layout_parbreak(); self.layout_tree(&heading.contents).await; |
