Change view and scroll to position on header double click
[pspp] / src / ui / gui / .gitignore
1 psppire