extension.js 1012 B

1234567891011121314151617181920212223242526272829303132333435
  1. const Main = imports.ui.main;
  2. function get_current_view_index () {
  3. let current_view_index = 0;
  4. let views = Main.overview.viewSelector.appDisplay._views;
  5. for (let i = 0; i < views.length; i++) {
  6. let pseudo_class = views[i].control.get_style_pseudo_class();
  7. if (pseudo_class && pseudo_class.indexOf("checked") !== -1) {
  8. current_view_index = i;
  9. }
  10. }
  11. return current_view_index;
  12. }
  13. let previous_view_index;
  14. function init() {
  15. previous_view_index = 0;
  16. }
  17. function enable() {
  18. // save current view index to restore when this extensions is disabled
  19. previous_view_index = get_current_view_index();
  20. // hide controls : Frequent/All buttons
  21. Main.overview.viewSelector.appDisplay._controls.hide()
  22. // switch to All apps view
  23. Main.overview.viewSelector.appDisplay._showView(1)
  24. }
  25. function disable() {
  26. // switch to the saved view index
  27. Main.overview.viewSelector.appDisplay._showView(previous_view_index)
  28. // show controls
  29. Main.overview.viewSelector.appDisplay._controls.show()
  30. }