Skip to content
  1. Jul 14, 2021
  2. Dec 15, 2018
  3. Sep 25, 2018
  4. Nov 17, 2016
  5. Nov 19, 2015
  6. Sep 20, 2015
  7. Sep 19, 2015
  8. May 28, 2015
  9. Apr 18, 2015
  10. Mar 14, 2015
  11. Mar 13, 2015
  12. Dec 13, 2014
  13. Nov 15, 2014
  14. Jul 17, 2014
  15. Mar 21, 2014
  16. Feb 20, 2014
  17. Jan 20, 2014
  18. Jan 17, 2014
  19. Oct 16, 2013
  20. Oct 14, 2013
  21. Oct 13, 2013
  22. Oct 01, 2013
  23. Sep 30, 2013
  24. Sep 26, 2013
    • Florian Müllner's avatar
      ui: Fix double borders · 6b9fe604
      Florian Müllner authored
      Relying on GtkFrame's shadow for borders will give us additional
      vertical borders that are already covered by the sidebar's border;
      to avoid double borders, explicitly set the borders we actually need.
      6b9fe604
  25. Sep 23, 2013
  26. Sep 22, 2013
  27. Sep 21, 2013
  28. Sep 20, 2013
  29. Sep 16, 2013
  30. Sep 13, 2013