Part of Slepp's ProjectsPastebinTURLImagebinFilebin
Feedback -- English French German Japanese
Create Upload Newest Tools Donate

Advertising

Mine
Friday, November 25th, 2011 at 1:17:30pm UTC 

  1. --- /usr/share/gnome-shell/js/ui/altTab.js.old  2011-11-25 10:21:14.161993561 +0800
  2. +++ /usr/share/gnome-shell/js/ui/altTab.js      2011-11-25 21:12:04.178685966 +0800
  3. @@ -161,7 +161,7 @@
  4.          // standard Alt+Tab order (MRU except for minimized windows),
  5.          // and allApps is a list of apps that only appear on other
  6.          // workspaces, sorted by user_time, which is good enough.
  7. -        return [apps, allApps];
  8. +        return [apps, []]; //allApps];
  9.      },
  10.  
  11.      show : function(backward, binding, mask) {
  12. @@ -893,7 +893,14 @@
  13.              let appIcon = new AppIcon(localApps[i]);
  14.              // Cache the window list now; we don't handle dynamic changes here,
  15.              // and we don't want to be continually retrieving it
  16. -            appIcon.cachedWindows = appIcon.app.get_windows();
  17. +            let appWindows = appIcon.app.get_windows();
  18. +            let cachedWindows = [];
  19. +            for (let w = 0; w < appWindows.length; w++) {
  20. +                if (appWindows[w].get_workspace() == activeWorkspace){
  21. +                   cachedWindows.push(appWindows[w]);
  22. +                }
  23. +            }
  24. +            appIcon.cachedWindows = cachedWindows;
  25.              workspaceIcons.push(appIcon);
  26.          }
  27.          for (let i = 0; i < otherApps.length; i++) {
  28. @@ -1066,6 +1073,9 @@
  29.          this._windows = windows;
  30.  
  31.          for (let i = 0; i < windows.length; i++) {
  32. +            if (windows[i].get_workspace() != activeWorkspace) {
  33. +              continue;
  34. +            }
  35.              if (!separatorAdded && windows[i].get_workspace() != activeWorkspace) {
  36.                this.addSeparator();
  37.                separatorAdded = true;

advertising

Update the Post

Either update this post and resubmit it with changes, or make a new post.

You may also comment on this post.

update paste below
details of the post (optional)

Note: Only the paste content is required, though the following information can be useful to others.

Save name / title?

(space separated, optional)



Please note that information posted here will not expire by default. If you do not want it to expire, please set the expiry time above. If it is set to expire, web search engines will not be allowed to index it prior to it expiring. Items that are not marked to expire will be indexable by search engines. Be careful with your passwords. All illegal activities will be reported and any information will be handed over to the authorities, so be good.

comments powered by Disqus
worth-right
worth-right