@b4n, one benefit of having the platform specific keybindings file is that it makes what is different on the platform clearly visible, and so easier to maintain.
Yes, and what I proposed kept that the same. But we do not have a system-wide, non-platform-specific keybindings file yet, so I don't replace anything.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.