[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Commit-gnuradio] r10823 - gnuradio/branches/developers/jblum/grc/grc/sr
From: |
jblum |
Subject: |
[Commit-gnuradio] r10823 - gnuradio/branches/developers/jblum/grc/grc/src/gui |
Date: |
Mon, 13 Apr 2009 23:20:39 -0600 (MDT) |
Author: jblum
Date: 2009-04-13 23:20:39 -0600 (Mon, 13 Apr 2009)
New Revision: 10823
Modified:
gnuradio/branches/developers/jblum/grc/grc/src/gui/ActionHandler.py
Log:
Keep key press events from queuing by checking gtk.events_pending().
Modified: gnuradio/branches/developers/jblum/grc/grc/src/gui/ActionHandler.py
===================================================================
--- gnuradio/branches/developers/jblum/grc/grc/src/gui/ActionHandler.py
2009-04-14 04:19:13 UTC (rev 10822)
+++ gnuradio/branches/developers/jblum/grc/grc/src/gui/ActionHandler.py
2009-04-14 05:20:39 UTC (rev 10823)
@@ -81,6 +81,8 @@
and keys that are not registered with an accelerator: +/-.
@return false to let the accelerators handle the key action
"""
+ #dont allow key presses to queue up
+ if gtk.events_pending(): return True
if self.get_focus_flag():
try:
self.handle_states({
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Commit-gnuradio] r10823 - gnuradio/branches/developers/jblum/grc/grc/src/gui,
jblum <=