GitLab

[ADD] a temporary implementation that allows to make screenshots of gl widgets by pressing F12 while having the widget selected

this will be replaced by sebastians super screen capturing stuff in the near future