1. 08 Oct, 2018 2 commits
  2. 06 Oct, 2018 2 commits
    • Florian Müllner's avatar
      window-list: Ignore hidden buttons when scrolling · 9410bdfa
      Florian Müllner authored
      Window lists are per-monitor, so workspaces are implemented by
      simply hiding all buttons that correspond to windows/apps on
      other workspaces. That means we need to take the visibility
      into account when handling scroll-events to switch through the
      list, or else we'll end up switching "randomly" between workspaces.
      
      #78
      9410bdfa
    • Florian Müllner's avatar
      window-list: Minor clean-up · d424b0f6
      Florian Müllner authored
      Modern javascript has explicit methods for locating the first
      element of an array that meets a certain condition, use those
      instead of manually looping over the array.
      
      #78
      d424b0f6
  3. 23 Sep, 2018 1 commit
  4. 03 Sep, 2018 1 commit
  5. 20 Aug, 2018 1 commit
  6. 13 Aug, 2018 1 commit
  7. 01 Aug, 2018 2 commits
  8. 09 Jul, 2018 5 commits
  9. 06 Jul, 2018 1 commit
  10. 24 May, 2018 4 commits
  11. 10 May, 2018 1 commit
  12. 07 May, 2018 1 commit
  13. 13 Apr, 2018 1 commit
  14. 12 Apr, 2018 2 commits
    • Florian Müllner's avatar
      cleanup: Use Array.includes() to check for element existence · 3dc9f2e4
      Florian Müllner authored
      This is a relatively recent addition to the standard we can use where we
      don't care about the actual position of an element inside the array.
      (Array.includes() and Array.indexOf() do behave differently in edge cases,
      for example in the handling of NaN, but those don't matter to us)
      3dc9f2e4
    • Florian Müllner's avatar
      window-list: Handle no overrides settings · 682d6a8f
      Florian Müllner authored
      We can only know about override settings that are provided by the
      upstream GNOME or GNOME Classic sessions, but not any custom sessions
      created by admins, users or distributions. Handle that case by falling
      back to the original settings.
      
      #62
      682d6a8f
  15. 21 Mar, 2018 1 commit
  16. 13 Mar, 2018 1 commit
  17. 12 Mar, 2018 1 commit
  18. 10 Mar, 2018 2 commits
  19. 07 Mar, 2018 1 commit
  20. 06 Mar, 2018 1 commit
    • Florian Müllner's avatar
      ci: Install mozjs-devel instead of gjs-devel · 127b5e6c
      Florian Müllner authored
      All we are really interested in is mozjs' js52 utility for running
      syntax checks - gjs has significantly more dependencies, so cut
      down on time and bandwidth spent on downloading and installing
      unneeded packages.
      
      This cuts down the number of packages we install from 202 to 13,
      and the download size from 133M to 17M.
      127b5e6c
  21. 05 Mar, 2018 2 commits
  22. 03 Mar, 2018 1 commit
  23. 26 Feb, 2018 1 commit
  24. 23 Feb, 2018 1 commit
  25. 22 Feb, 2018 3 commits