1. 26 Jun, 2011 1 commit
    • Paolo Borelli's avatar
      Speed up page insertion · 399de111
      Paolo Borelli authored
      Make sure to call widget_set_child_visible(false) on all tabs except the
      current before calling widget_set_parent.
      399de111
  2. 10 Jun, 2011 1 commit
  3. 02 Jun, 2011 1 commit
  4. 01 Jun, 2011 7 commits
  5. 29 Apr, 2011 5 commits
  6. 27 Apr, 2011 1 commit
  7. 09 Apr, 2011 1 commit
  8. 26 Mar, 2011 1 commit
  9. 17 Mar, 2011 2 commits
  10. 14 Mar, 2011 1 commit
  11. 09 Mar, 2011 1 commit
  12. 07 Mar, 2011 2 commits
    • Cosimo Cecchi's avatar
      notebook: flip the render order · a3b3c910
      Cosimo Cecchi authored
      The render order for tabs is now
      
      - left to right until the active tab
      - right to left until the active tab
      - active tab
      
      This allows themes that use non-straight lines for the tab curvature to
      draw them not worrying about flipping one side after the active tab.
      a3b3c910
    • Cosimo Cecchi's avatar
      notebook: fixup the last commit · a54ca77f
      Cosimo Cecchi authored
      Let the tab overlap eat the padding, otherwise having tab-overlap >
      tab-curvature without cutting the label is impossible.
      This way we give the label widget all the allocation possible before
      giving up and cutting it if the values for tab-overlap are too extreme
      for the given padding.
      a54ca77f
  13. 06 Mar, 2011 2 commits
  14. 03 Mar, 2011 2 commits
  15. 24 Jan, 2011 1 commit
  16. 23 Jan, 2011 1 commit
  17. 20 Jan, 2011 1 commit
  18. 15 Jan, 2011 1 commit
  19. 04 Jan, 2011 8 commits