Allow Cmd modifier as alternative to Ctrl, closes #206

2019-08-11 16:15:18 -07:00 · 2019-08-11 16:15:18 -07:00 · 9066b19031
parent 095ae1f6ab
commit 9066b19031
1 changed files with 1 additions and 1 deletions
--- a/src/main.rs
+++ b/src/main.rs
@ -506,7 +506,7 @@ fn handle_window_event(window: &mut glutin::WindowedContext<glutin::PossiblyCurr
                                game.server.key_press(true, steven_key);
                            }
                        } else {
-                            let ctrl_pressed = input.modifiers.ctrl;
+                            let ctrl_pressed = input.modifiers.ctrl || input.modifiers.logo;
                            ui_container.key_press(game, key, true, ctrl_pressed);
                        }
                    },