Sergej Koščejev

Results 18 comments of Sergej Koščejev

> Okay, then maybe I messed up the merge. Will you fix it in 2022.2 or should I just fix it in this PR or how do we proceed?

@alexanderpann fixed in 095bfefefc21cec4c70929b91a7021a16afe3db6, please have a look.

I'm going to merge this anyway. If something is wrong, we can fix it in another PR.

The plan is to move MPS-extensions master to MPS master (prereleases) and then merge this PR.

Check in the build solution whether you copy resources properly, there were changes in this area in the last few versions of MPS:

This concept is used in [markusvoelter/ProgrammingBasics](https://github.com/IETS3/iets3.opensource/issues/559).

I left a comment in #560 - I think @brucetrask is right and the PR does not fix this issue.

I think it's fine for now, the problem seems to be related to (keyboard) typing. I'd leave it up to Alexander to judge.