1. 22 Jan, 2021 1 commit
  2. 21 Jan, 2021 1 commit
  3. 17 Jan, 2021 1 commit
  4. 07 Jan, 2021 1 commit
  5. 05 Jan, 2021 1 commit
  6. 03 Jan, 2021 1 commit
  7. 31 Dec, 2020 1 commit
  8. 25 Dec, 2020 1 commit
  9. 17 Dec, 2020 1 commit
  10. 22 Nov, 2020 1 commit
  11. 21 Nov, 2020 1 commit
  12. 20 Nov, 2020 1 commit
  13. 18 Nov, 2020 1 commit
  14. 14 Nov, 2020 1 commit
  15. 13 Nov, 2020 1 commit
  16. 12 Nov, 2020 1 commit
  17. 09 Nov, 2020 1 commit
  18. 08 Nov, 2020 1 commit
  19. 06 Nov, 2020 2 commits
  20. 05 Nov, 2020 1 commit
  21. 02 Nov, 2020 1 commit
  22. 27 Oct, 2020 2 commits
  23. 25 Oct, 2020 1 commit
  24. 19 Oct, 2020 1 commit
  25. 18 Oct, 2020 1 commit
  26. 17 Oct, 2020 1 commit
  27. 15 Oct, 2020 2 commits
  28. 11 Oct, 2020 1 commit
    • Sébastien Wilmet's avatar
      Bump version to 3.38.1 · 3d7a13dd
      Sébastien Wilmet authored
      We will need to bump the version differently for GNOME 40. In the
      meantime, just increment the micro version.
      3d7a13dd
  29. 08 Oct, 2020 3 commits
  30. 05 Oct, 2020 1 commit
  31. 03 Oct, 2020 1 commit
  32. 30 Sep, 2020 1 commit
  33. 28 Sep, 2020 1 commit
  34. 24 Sep, 2020 1 commit
  35. 23 Sep, 2020 1 commit
    • Sébastien Wilmet's avatar
      drawspaces: remove menu item · 95069ef2
      Sébastien Wilmet authored
      The new GUI for this plugin will be:
      - When the plugin is enabled, space drawing is enabled (bind the two).
      - When the plugin is enabled, be able to access options: configure the
        space types to draw for each locations, roughly.
      The two will be close to each other (like with every standard
      libpeas-gtk plugin providing a configuration).
      
      The problem with the menu item was that it was separate from the rest of
      the configuration. It was a bit awkward, there were two ways to disable
      space drawing: by disabling the plugin, and with the menu item. When the
      menu item was disabled, another problem is that it could be hard to know
      why the spaces are not drawn even though the plugin and the options are
      enabled: three things needed to be enabled in order for the white spaces
      to be drawn: the plugin needed to be enabled, the menu item too, and the
      plugin configuration plays a role too (in case all checkbuttons are
      disabled).
      
      It now takes more clicks to disable space drawing, we need to go to the
      preferences dialog and disable the plugin. But once the plugin is
      correctly configured we probably don't often need to disable/enable it.
      
      So I think the advantage (clearer way to configure space drawing)
      outweighs the disadvantage (more clicks to enable/disable space drawing,
      which I think is not often needed).
      95069ef2