Little procedure bug

Status
Fixed
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