mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
We are going to change the interface, so add a new version of it. Providers will need to opt-in to the new API. A summary of the differences compared to the previous API: - ActivateResult() now also takes the search terms and a timestamp as parameters - a new LaunchSearch() method is added https://bugzilla.gnome.org/show_bug.cgi?id=689735 |
||
|---|---|---|
| .. | ||
| theme | ||
| 50-gnome-shell-screenshot.xml.in | ||
| 50-gnome-shell-system.xml.in | ||
| gnome-shell-extension-prefs.desktop.in.in | ||
| gnome-shell-overrides.convert | ||
| gnome-shell.desktop.in.in | ||
| Makefile.am | ||
| org.gnome.shell.gschema.xml.in.in | ||
| org.gnome.ShellSearchProvider.xml | ||
| org.gnome.ShellSearchProvider2.xml | ||