3 Commits

Author SHA1 Message Date
Florian Müllner cc0f167c0e extensions: Remove example extension
There are plenty of extension examples out there, no need to include
a sample extension that doesn't show-case any useful functionality
but puts additional burden on distributors to exclude it from packaged
extensions.
2018-11-13 00:19:45 +01:00
Florian Müllner d731534d04 extensions: Remove alternate-tab
Ever since GNOME 3.8 when gnome-shell started to provide the window
switcher functionality itself, the extension has only existed to
change the default behavior of the alt-tab shortcut in the classic
session. Now that we achieve this behavior with a per-desktop override,
there's no longer a need for the extension, so remove it altogether.

Users who prefer the window switcher over the default app switcher
can use the regular keyboard settings to assign a shortcut to the
"Switch windows" action.

https://bugzilla.gnome.org/show_bug.cgi?id=786496
2018-11-13 00:14:44 +01:00
Florian Müllner 724249dd29 docs: Use markdown
Markdown produces nicer output where supported, so use that instead
of custom ASCII formatting.
2017-11-25 04:01:19 +01:00