mirror of
https://github.com/emilk/egui.git
synced 2026-08-31 05:40:03 -04:00
Silence a warning
This commit is contained in:
@@ -33,6 +33,7 @@ pub fn highlight(
|
|||||||
// performing it at a separate thread (ctx, ctx.style()) can be used and when ui is available
|
// performing it at a separate thread (ctx, ctx.style()) can be used and when ui is available
|
||||||
// (ui.ctx(), ui.style()) can be used
|
// (ui.ctx(), ui.style()) can be used
|
||||||
|
|
||||||
|
#[allow(non_local_definitions)]
|
||||||
impl egui::cache::ComputerMut<(&egui::FontId, &CodeTheme, &str, &str), LayoutJob> for Highlighter {
|
impl egui::cache::ComputerMut<(&egui::FontId, &CodeTheme, &str, &str), LayoutJob> for Highlighter {
|
||||||
fn compute(
|
fn compute(
|
||||||
&mut self,
|
&mut self,
|
||||||
|
|||||||
Reference in New Issue
Block a user