[gnome-shell] keyboard: fix the keyboard hiding when an extended key is selected
- From: Dan Winship <danw src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] keyboard: fix the keyboard hiding when an extended key is selected
- Date: Thu, 13 Oct 2011 20:12:21 +0000 (UTC)
commit 3169b2c440895b2961df8746732892c448f7f4b2
Author: Nohemi Fernandez <nf68 cornell edu>
Date: Tue Oct 11 17:54:05 2011 -0400
keyboard: fix the keyboard hiding when an extended key is selected
Add a corner case for when the extended key is clicked in order to stop the keyboard
from prematurely closing.
https://bugzilla.gnome.org/show_bug.cgi?id=661707
js/ui/keyboard.js | 5 +++--
1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/keyboard.js b/js/ui/keyboard.js
index 77ce244..b4c18ce 100644
--- a/js/ui/keyboard.js
+++ b/js/ui/keyboard.js
@@ -269,8 +269,9 @@ Keyboard.prototype = {
_onKeyFocusChanged: function () {
let focus = global.stage.key_focus;
- // Showing an extended key popup will grab focus, but ignore that
- if (focus && focus._extended_keys)
+ // Showing an extended key popup and clicking a key from the extended keys
+ // will grab focus, but ignore that
+ if (focus && (focus._extended_keys || (focus._key && focus._key.extended_key)))
return;
if (focus instanceof Clutter.Text)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]