language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-10-01 15:51:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Change "Hint" to "Tip"

Browse source
This commit is contained in:
Richard Feldman 2020-08-31 17:30:33 -04:00
parent 85110b7b9c
commit e6cbfb1567
3 changed files with 53 additions and 58 deletions
Download patch file Download diff file Expand all files Collapse all files

13
compiler/reporting/src/report.rs
View file

@ -317,10 +317,11 @@ impl<'a> RocDocAllocator<'a> {
content.annotate(Annotation::TypeBlock).indent(4)
}
pub fn hint(&'a self) -> DocBuilder<'a, Self, Annotation> {
self.text("Hint:")
pub fn tip(&'a self) -> DocBuilder<'a, Self, Annotation> {
self.text("Tip")
.annotate(Annotation::Tip)
.append(":")
.append(self.softline())
.annotate(Annotation::Hint)
}
pub fn region_all_the_things(
@ -575,7 +576,7 @@ pub enum Annotation {
Module,
Typo,
TypoSuggestion,
Hint,
Tip,
}
/// Render with minimal formatting
@ -718,7 +719,7 @@ where
Emphasized => {
self.write_str(BOLD_CODE)?;
}
Url | Hint => {
Url | Tip => {
self.write_str(UNDERLINE_CODE)?;
}
PlainText => {
@ -773,7 +774,7 @@ where
None => {}
Some(annotation) => match annotation {
Emphasized | Url | TypeVariable | Alias | Symbol | BinOp | Error | GutterBar
| Typo | TypoSuggestion | Structure | CodeBlock | PlainText | LineNumber | Hint
| Typo | TypoSuggestion | Structure | CodeBlock | PlainText | LineNumber | Tip
| Module => {
self.write_str(RESET_CODE)?;
}