1. 22 Aug, 2018 1 commit
  2. 20 Aug, 2018 1 commit
  3. 16 Aug, 2018 3 commits
  4. 14 Aug, 2018 1 commit
  5. 12 Aug, 2018 2 commits
  6. 11 Aug, 2018 5 commits
  7. 09 Aug, 2018 1 commit
  8. 08 Aug, 2018 2 commits
  9. 05 Aug, 2018 1 commit
  10. 04 Aug, 2018 1 commit
  11. 03 Aug, 2018 1 commit
  12. 02 Aug, 2018 6 commits
  13. 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
  14. 31 Jul, 2018 2 commits
  15. 30 Jul, 2018 3 commits
  16. 26 Jul, 2018 5 commits
  17. 25 Jul, 2018 2 commits
  18. 24 Jul, 2018 2 commits