1. 10 Apr, 2018 1 commit
  2. 03 Apr, 2018 2 commits
  3. 13 Mar, 2018 1 commit
  4. 12 Mar, 2018 1 commit
  5. 11 Mar, 2018 1 commit
  6. 10 Mar, 2018 1 commit
  7. 07 Mar, 2018 3 commits
  8. 06 Mar, 2018 1 commit
  9. 05 Mar, 2018 3 commits
  10. 03 Mar, 2018 3 commits
  11. 02 Mar, 2018 1 commit
    • Jose Aliste's avatar
      shell: Unbind Ctrl-Left and Ctrl-Right from the scrolledwindow · 10e877d8
      Jose Aliste authored
      Bug #727529 was introduced when fixing #676040. The rational of
      the latter fix is to forward keypress events to the focused
      widget before processing Application shortcuts. This allows that
      if, for e.g., you Ctrl+left on the search entry, then you jump
      between words instead of the default Rotate left action. This is
      the intended behavior.
      
      But GtkScrolledWindow binds Ctrl-Left and Ctrl-Right. Hence,
      these actions are handled instead of the Rotate left and Rotate right shortcuts defined by the application in the case the horizontal scrollbar is visible.
      
      This is not intended, so unbinding these shortcuts
      with CSS allows to Ctrl left and ctrl right to rotate independent of whether
      the scrollbars are visible or not.
      
      This solves
      https://bugzilla.gnome.org/show_bug.cgi?id=727529
      10e877d8
  12. 01 Mar, 2018 1 commit
  13. 28 Feb, 2018 1 commit
  14. 27 Feb, 2018 1 commit
  15. 26 Feb, 2018 2 commits
  16. 25 Feb, 2018 3 commits
  17. 24 Feb, 2018 1 commit
  18. 22 Feb, 2018 1 commit
  19. 21 Feb, 2018 1 commit
  20. 20 Feb, 2018 2 commits
  21. 17 Feb, 2018 3 commits
  22. 16 Feb, 2018 1 commit
  23. 10 Feb, 2018 1 commit
  24. 08 Feb, 2018 1 commit
  25. 30 Jan, 2018 1 commit
  26. 28 Jan, 2018 1 commit
  27. 24 Jan, 2018 1 commit
    • Bastien Nocera's avatar
      shell: Fix media-player keys not working · 4d2301de
      Bastien Nocera authored
      gsd-media-keys doesn't have a .service file itself, but responds to the
      org.gnome.SettingsDaemon.MediaKeys name nonetheless. This however seems
      to mean that signals emitted by gsd-media-keys will not have the
      expected sender name. Seeing as the signals come from a proxy we created
      ourselves with a well-known name, there's really no need to filter any
      further.
      
      This fixes pressed media player keys not doing anything with more recent
      versions of gnome-settings-daemon (3.24).
      
      https://bugzilla.gnome.org/show_bug.cgi?id=789738
      4d2301de