Auto-filling of placeholders sometimes fails on first try #69
Labels
bug
Something isn't working
component: gui
Issue concerns the web-based user interface
component: hlm logic
Issue concerns the HLM logic
Milestone
When entering sufficiently complex expressions, sometimes placeholders are not automatically filled immediately after the users fills all non-auto placeholders. However, in these cases it frequently works on the second try, e.g. after overwriting one of the subexpressions with itself.
As a concrete example, this happened when entering the predicates for isomorphism conditions.
The text was updated successfully, but these errors were encountered: