Skip to content

Slightly improved code style of history widget. #6544

Slightly improved code style of history widget.

Slightly improved code style of history widget. #6544