main: Add optional keybindingMode parameter to pushModal()
For now we just use it to assign an identifier to modal modes in which we want to allow some keybindings, but we don't use it for any actual filtering; we'll start doing this shortly. https://bugzilla.gnome.org/show_bug.cgi?id=688202
parent
5f367248
Please register or sign in to comment