@@ -24,6 +24,7 @@ crate fn render_with_highlighting(
2424 playground_button : Option < & str > ,
2525 tooltip : Option < ( Option < Edition > , & str ) > ,
2626 edition : Edition ,
27+ extra_content : Option < Buffer > ,
2728) {
2829 debug ! ( "highlighting: ================\n {}\n ==============" , src) ;
2930 if let Some ( ( edition_info, class) ) = tooltip {
@@ -39,13 +40,21 @@ crate fn render_with_highlighting(
3940 ) ;
4041 }
4142
42- write_header ( out, class) ;
43+ write_header ( out, class, extra_content ) ;
4344 write_code ( out, & src, edition) ;
4445 write_footer ( out, playground_button) ;
4546}
4647
47- fn write_header ( out : & mut Buffer , class : Option < & str > ) {
48- writeln ! ( out, "<div class=\" example-wrap\" ><pre class=\" rust {}\" >" , class. unwrap_or_default( ) ) ;
48+ fn write_header ( out : & mut Buffer , class : Option < & str > , extra_content : Option < Buffer > ) {
49+ write ! ( out, "<div class=\" example-wrap\" >" ) ;
50+ if let Some ( extra) = extra_content {
51+ out. push_buffer ( extra) ;
52+ }
53+ if let Some ( class) = class {
54+ writeln ! ( out, "<pre class=\" rust {}\" >" , class) ;
55+ } else {
56+ writeln ! ( out, "<pre class=\" rust\" >" ) ;
57+ }
4958}
5059
5160fn write_code ( out : & mut Buffer , src : & str , edition : Edition ) {
0 commit comments