commit-gnuradio
[Top][All Lists]
Advanced

[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({





reply via email to

[Prev in Thread] Current Thread [Next in Thread]