1. 27 Oct, 2020 1 commit
  2. 26 Oct, 2020 2 commits
  3. 23 Oct, 2020 1 commit
  4. 22 Oct, 2020 2 commits
  5. 14 Oct, 2020 1 commit
  6. 05 Oct, 2020 1 commit
  7. 03 Oct, 2020 3 commits
  8. 27 Sep, 2020 1 commit
  9. 20 Sep, 2020 1 commit
  10. 18 Sep, 2020 4 commits
  11. 16 Sep, 2020 1 commit
  12. 15 Sep, 2020 1 commit
  13. 14 Sep, 2020 1 commit
  14. 13 Sep, 2020 1 commit
  15. 12 Sep, 2020 8 commits
  16. 11 Sep, 2020 3 commits
  17. 10 Sep, 2020 5 commits
  18. 09 Sep, 2020 1 commit
    • Daniel Garcia Moreno's avatar
      Font size change support · 6a743be2
      Daniel Garcia Moreno authored
      This patch adds three new buttons to the interface to update the font
      size of the source view.
      
      The font-size setted there is stored in a new setting, so that change is
      persistent.
      
      Fix #120
      6a743be2
  19. 07 Sep, 2020 2 commits