1. 10 Sep, 2019 1 commit
  2. 07 Sep, 2019 1 commit
  3. 05 Sep, 2019 2 commits
  4. 03 Sep, 2019 2 commits
  5. 01 Sep, 2019 2 commits
  6. 30 Aug, 2019 2 commits
  7. 29 Aug, 2019 2 commits
  8. 28 Aug, 2019 1 commit
  9. 27 Aug, 2019 5 commits
  10. 26 Aug, 2019 2 commits
    • Cosimo Cecchi's avatar
      text: install and use builder-dark style · f66a197f
      Cosimo Cecchi authored
      Instead of reading and using the gedit scheme. This is necessary
      since we use the dark theme, and gedit may not, leading to unreadable
      text.
      
      In the future we may tweak this to have two styles (one for light
      and one for dark variants), or something else, but in the meantime
      this provides a big improvement in legibility.
      
      #24
      f66a197f
    • Cosimo Cecchi's avatar
      utils: fix missing method rename · 39767dbd
      Cosimo Cecchi authored
      This was a fallout from a previous refactor that broke button
      actions.
      39767dbd
  11. 25 Aug, 2019 1 commit
  12. 24 Aug, 2019 3 commits
  13. 23 Aug, 2019 1 commit
  14. 22 Aug, 2019 2 commits
  15. 21 Aug, 2019 4 commits
  16. 20 Aug, 2019 5 commits
  17. 17 Aug, 2019 2 commits
  18. 16 Aug, 2019 1 commit
  19. 09 Aug, 2019 1 commit