Function:
private void on_super_key_modifier_release (uint keycode)
{
if (!Unity.global_shell.super_key_active) return;
int index = (int)keycode - 10;
index = int.min (index, model.size - 1);
if (index < 0 || index > 9) return;
Unity.global_shell.super_key_active = false;
var childcontroller = get_controller_for_view (model[index]);
childcontroller.activate ();
}
I'm not really the one to say, but would this be sufficient in fixing, or is
the problem deeper than what my 5 minute conclusion comes to agree with? :-)
var childcontroller = get_controller_for_view (model[index]);
- childcontroller.activate ();
+ if (childcontroller != null)
+ {
+ childcontroller.activate ();
+ }
Regards
--
unity crashes if a place is opened with the super-short-key
https://bugs.launchpad.net/bugs/632460
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
