1. 06 Sep, 2020 1 commit
  2. 31 Aug, 2020 1 commit
  3. 05 Aug, 2020 1 commit
  4. 28 Jul, 2020 1 commit
  5. 27 Jul, 2020 1 commit
  6. 11 Jul, 2020 1 commit
  7. 03 Jul, 2020 1 commit
  8. 18 Jun, 2020 2 commits
  9. 17 Jun, 2020 2 commits
  10. 12 Jun, 2020 1 commit
  11. 08 Jun, 2020 1 commit
  12. 27 May, 2020 1 commit
  13. 20 May, 2020 2 commits
  14. 11 May, 2020 2 commits
  15. 15 Apr, 2020 1 commit
  16. 27 Mar, 2020 1 commit
  17. 17 Mar, 2020 3 commits
  18. 16 Mar, 2020 4 commits
  19. 15 Mar, 2020 2 commits
  20. 02 Mar, 2020 2 commits
  21. 01 Mar, 2020 2 commits
  22. 29 Feb, 2020 1 commit
  23. 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
  24. 20 Feb, 2020 2 commits
  25. 04 Feb, 2020 3 commits