diff --git a/rmf_site_editor/src/widgets/console.rs b/rmf_site_editor/src/widgets/console.rs index 70baf797..af2df317 100644 --- a/rmf_site_editor/src/widgets/console.rs +++ b/rmf_site_editor/src/widgets/console.rs @@ -78,9 +78,11 @@ fn console_widget(In(input): In, mut log_history: ResMut