1. 27 May, 2020 1 commit
  2. 20 May, 2020 2 commits
  3. 11 May, 2020 2 commits
  4. 15 Apr, 2020 1 commit
  5. 27 Mar, 2020 1 commit
  6. 17 Mar, 2020 3 commits
  7. 16 Mar, 2020 4 commits
  8. 15 Mar, 2020 2 commits
  9. 02 Mar, 2020 2 commits
  10. 01 Mar, 2020 2 commits
  11. 29 Feb, 2020 1 commit
  12. 28 Feb, 2020 1 commit
    • Sebastian Gottfried's avatar
      Get Rid of Pixel-Sized Elements · f578d6af
      Sebastian Gottfried authored
      Instead, express all sizes in relation to the default font size. This
      makes various UI features like icons, gaps and spaces consistently sized
      wrt. to the text elements, regardless of the chosen font size- This is
      especially useful for High-DPI-ish displays where increasing the font
      size works better than fractional display scaling or for people who want
      to increase the font sizes anyway.
      f578d6af
  13. 20 Feb, 2020 2 commits
  14. 04 Feb, 2020 3 commits
  15. 03 Feb, 2020 1 commit
  16. 02 Feb, 2020 1 commit
  17. 06 Jan, 2020 1 commit
  18. 05 Jan, 2020 1 commit
  19. 27 Dec, 2019 2 commits
  20. 22 Dec, 2019 2 commits
  21. 10 Dec, 2019 1 commit
  22. 05 Dec, 2019 2 commits
  23. 26 Nov, 2019 2 commits