1. 31 Aug, 2018 1 commit
  2. 29 Aug, 2018 2 commits
  3. 28 Aug, 2018 2 commits
  4. 26 Aug, 2018 1 commit
  5. 25 Aug, 2018 1 commit
  6. 22 Aug, 2018 1 commit
  7. 20 Aug, 2018 1 commit
  8. 16 Aug, 2018 3 commits
  9. 14 Aug, 2018 1 commit
  10. 12 Aug, 2018 2 commits
  11. 11 Aug, 2018 5 commits
  12. 09 Aug, 2018 1 commit
  13. 08 Aug, 2018 2 commits
  14. 05 Aug, 2018 1 commit
  15. 04 Aug, 2018 1 commit
  16. 03 Aug, 2018 1 commit
  17. 02 Aug, 2018 6 commits
  18. 01 Aug, 2018 1 commit
    • Carlos Soriano's avatar
      widget-editor: Replace margin right/left for end/start · 44577c82
      Carlos Soriano authored
      They have been deprecated for some time now and break RTL languages.
      
      This works implements margin-end and margin-start and deprecates
      margin-left and margin-start.
      
      All four properties are shown to be able to upgrade from previous gtk3
      versions, ideally this will be gone when Glade moves to gtk4.
      
      Closes #319
      44577c82
  19. 31 Jul, 2018 2 commits
  20. 30 Jul, 2018 3 commits
  21. 26 Jul, 2018 2 commits