Commit 842167bf7e193c14bfd2cf252f5798dbf5808198

Stefan Sperling 2018-08-01T11:18:27

make open_view() window size configurable