orca r4025 - in trunk: . src/orca
- From: richb svn gnome org
- To: svn-commits-list gnome org
- Subject: orca r4025 - in trunk: . src/orca
- Date: Tue, 8 Jul 2008 16:45:49 +0000 (UTC)
Author: richb
Date: Tue Jul 8 16:45:49 2008
New Revision: 4025
URL: http://svn.gnome.org/viewvc/orca?rev=4025&view=rev
Log:
* src/orca/orca_quit.py:
src/orca/orca_gui_find.py:
src/orca/orca_gui_prefs.py:
Fixed bug #541437 - Trying to quit Orca with the mouse doesn't
give focus to the Quit dialog.
Modified:
trunk/ChangeLog
trunk/src/orca/orca_gui_find.py
trunk/src/orca/orca_gui_prefs.py
trunk/src/orca/orca_quit.py
Modified: trunk/src/orca/orca_gui_find.py
==============================================================================
--- trunk/src/orca/orca_gui_find.py (original)
+++ trunk/src/orca/orca_gui_find.py Tue Jul 8 16:45:49 2008
@@ -87,7 +87,10 @@
#
try:
findDialog.realize()
- findDialog.window.set_user_time(orca_state.lastInputEventTimestamp)
+ ts = orca_state.lastInputEventTimestamp
+ if ts == 0:
+ ts = gtk.get_current_event_time()
+ findDialog.window.set_user_time(ts)
except AttributeError:
debug.printException(debug.LEVEL_FINEST)
Modified: trunk/src/orca/orca_gui_prefs.py
==============================================================================
--- trunk/src/orca/orca_gui_prefs.py (original)
+++ trunk/src/orca/orca_gui_prefs.py Tue Jul 8 16:45:49 2008
@@ -1909,8 +1909,10 @@
except:
pass
try:
- orcaSetupWindow.window.set_user_time(\
- orca_state.lastInputEventTimestamp)
+ ts = orca_state.lastInputEventTimestamp
+ if ts == 0:
+ ts = gtk.get_current_event_time()
+ orcaSetupWindow.window.set_user_time(ts)
except AttributeError:
debug.printException(debug.LEVEL_FINEST)
Modified: trunk/src/orca/orca_quit.py
==============================================================================
--- trunk/src/orca/orca_quit.py (original)
+++ trunk/src/orca/orca_quit.py Tue Jul 8 16:45:49 2008
@@ -58,7 +58,10 @@
#
try:
quitDialog.realize()
- quitDialog.window.set_user_time(orca_state.lastInputEventTimestamp)
+ ts = orca_state.lastInputEventTimestamp
+ if ts == 0:
+ ts = gtk.get_current_event_time()
+ quitDialog.window.set_user_time(ts)
except AttributeError:
debug.printException(debug.LEVEL_FINEST)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]