#132: history widget touchups