Little procedure bug

Issue description

This is a very minor bug about procedure making.

When adding inline procedures to triggers like "when mob/player collides block" the default name of the new procedure keeps the "/" of "mob/player" so it is invalid.

This can be easily fixed by removing the "/" but I thought I should still report this.

(I'm sorry for my bad English)

Issue comments

Submitted by Klemen on Mon, 11/26/2018 - 16:30

Thanks, I will fix this.