Maximilian Mader 10ca7d3508

[GTK3] Implement more menu handlers ...

Also fix some memory leaks.

2019-10-12 23:11:26 +02:00

..

window.ui

[GTK3] Implement more menu handlers

2019-10-12 23:11:26 +02:00