1. 02 Jul, 2018 3 commits
  2. 01 Jul, 2018 1 commit
  3. 29 Jun, 2018 1 commit
  4. 28 Jun, 2018 1 commit
  5. 26 Jun, 2018 2 commits
  6. 25 Jun, 2018 1 commit
  7. 21 Jun, 2018 8 commits
  8. 20 Jun, 2018 4 commits
  9. 19 Jun, 2018 2 commits
  10. 18 Jun, 2018 1 commit
    • Georges Basile Stavracas Neto's avatar
      window: Remove unused panel box · c89a9195
      Georges Basile Stavracas Neto authored
      Whenever a panel is activated, there is a GtkBox that
      is added between the window and the panel itself.
      
      Investigating the history of this field, it originally
      appeared at ec7f8c9b when the window started using
      widgets rather than page numbers. Apparently, it was a
      GtkBox to help dealing with the GtkNotebook (which was
      later changed to the current GtkStack).
      
      The field was renamed from 'current_panel' to 'current_panel_box'
      at ab435aa9. But since the transition to GtkStack, there
      is no real need to use the GtkBox anymore.
      
      This patch removes this GtkBox, and as a consequence, the
      code is slightly simplified.
      c89a9195
  11. 13 Jun, 2018 1 commit
  12. 11 Jun, 2018 2 commits
  13. 09 Jun, 2018 1 commit
  14. 08 Jun, 2018 1 commit
  15. 07 Jun, 2018 2 commits
  16. 06 Jun, 2018 2 commits
  17. 03 Jun, 2018 6 commits
  18. 01 Jun, 2018 1 commit