Merge branch 'main' into ime-support-2

2022-07-25 10:47:49 +02:00
parent d3567e381c 8c1d4d877f
commit ca3e73106c
32 changed files with 2520 additions and 1790 deletions
@@ -285,7 +285,7 @@ pub fn menus() -> Vec<Menu<'static>> {
                MenuItem::Separator,
                MenuItem::Action {
                    name: "Next Problem",
-                    action: Box::new(editor::GoToNextDiagnostic),
+                    action: Box::new(editor::GoToDiagnostic),
                },
                MenuItem::Action {
                    name: "Previous Problem",