playground_url,
sort_modules_alphabetically,
themes: style_files,
+ default_settings,
extension_css,
resource_suffix,
static_root_path,
logo: String::new(),
favicon: String::new(),
external_html,
+ default_settings,
krate: krate.name.clone(),
css_file_extension: extension_css,
generate_search_filter,
render_attributes(w, it, false);
write!(
w,
- "{vis}static {mutability} {name}: {typ}</pre>",
+ "{vis}static {mutability}{name}: {typ}</pre>",
vis = it.visibility.print_with_space(),
mutability = s.mutability.print_with_space(),
name = it.name.as_ref().unwrap(),