Florian Müllner b58f502dd6 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
2012-11-17 01:44:22 +01:00
..
2012-10-02 21:16:28 -03:00
2012-09-13 22:41:17 +02:00
2012-10-22 12:06:45 -04:00
2011-11-11 11:15:38 -05:00
2012-08-19 21:19:17 -04:00
2012-10-25 18:31:16 +02:00
2012-08-29 16:41:09 -03:00