"%gui gtk3" doesn't propagate ^C/SIGINT/KeyboardInterrupt

[pkgw]

I'm using IPython 0.13.2 on a Fedora 20 machine. I've noticed that unlike the other %gui modes, the "gtk3" on seems to have a problem where ^C/SIGINT/KeyboardInterrupt gets swallowed. In the usual situation you get:

In [1]: import time
In [2]: time.sleep (10)
^C---------------------------------------------------------------------------
KeyboardInterrupt                         Traceback (most recent call last)
<ipython-input-2-322ae1afab40> in <module>()
----> 1 time.sleep (10)

KeyboardInterrupt: 

But then:

In [3]: %gui gtk3
In [4]: time.sleep (10)
^C^C^CIn [5]:

where the characters "^C" are printed, but no KeyboardInterrupt is raised and the full ten seconds elapses before I get the prompt back.

I know that I'm using an older version of IPython, but I haven't been able to find any discussion of this issue online, and it's a bit of a corner case, so I suspect that it's still present in the latest version. Here's my system info:

{'commit_hash': '858d539',
 'commit_source': 'installation',
 'default_encoding': 'UTF-8',
 'ipython_path': '/usr/lib/python2.7/site-packages/IPython',
 'ipython_version': '0.13.2',
 'os_name': 'posix',
 'platform': 'Linux-3.14.4-200.fc20.x86_64-x86_64-with-fedora-20-Heisenbug',
 'sys_executable': '/usr/bin/python',
 'sys_platform': 'linux2',
 'sys_version': '2.7.5 (default, Feb 19 2014, 13:47:28) \n[GCC 4.8.2 20131212 (Red Hat 4.8.2-7)]'}