Make sure operation ids aren't reused between editors

Issue #1249