Add triple margin in the section view (NB#154479)
authorVíctor Manuel Jáquez Leal <vjaquez@igalia.com>
Tue, 23 Feb 2010 12:31:47 +0000 (13:31 +0100)
committerVíctor Manuel Jáquez Leal <vjaquez@igalia.com>
Tue, 23 Feb 2010 18:10:54 +0000 (19:10 +0100)
commit3f4830f4407a3a955be9552c9aff2ce379121634
treeb9edb2968bc195a3d002f602abb62f45f3c3d5a9
parent1c018826a618a0f975d9b444d0a7710daeb3a72d
Add triple margin in the section view (NB#154479)

* src/util.cc (make_global_section_list): pack the scroller in a vertical box
  with the triple margin padding.
src/util.cc