Skip to content

Instantly share code, notes, and snippets.

@davidgomes

davidgomes/gist:97279fe877acf8421fe9 Secret

Created August 30, 2013 08:15
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save davidgomes/97279fe877acf8421fe9 to your computer and use it in GitHub Desktop.
Save davidgomes/97279fe877acf8421fe9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
+ /*
+ Overriding the default handler results in infinite loop of error messages
+ when an input method is in use (Gtk3 bug?). Key press events are
+ captured by an Event Box and passed to this function instead.
+
+ Events not dealt with here are propagated to the searchbar by the
+ usual mechanism.
+ */
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment