Gnome shell has jump-list (extension: https://extensions.gnome.org/extension/33/jump-lists/) but it also requires zeitgeist. It doesn't have any formal api yet.
For quicklist you can use this extension: https://extensions.gnome.org/extension/322/quicklists/
Gnome shell has jump-list (extension: https:/ /extensions. gnome.org/ extension/ 33/jump- lists/) but it also requires zeitgeist. It doesn't have any formal api yet.
For quicklist you can use this extension: https:/ /extensions. gnome.org/ extension/ 322/quicklists/