Fix type of Workspace::open_new_file context parameter

Fixes #118
4c3f97d123Max Brunsfeld committed on 7/30/2021, 5:11:46 PMparent33b9a6e
2 files changedLine totals unavailable