You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
if (event.pos ==ReBreakManager.reBreak?.context?.expectedPos) return@listen
137
+
136
138
// if not broken
137
139
if (!isBroken(info.context.checkedState, event.newState)) {
138
140
this@BreakManager.warn("Break at ${event.pos.toShortString()} was rejected with ${event.newState} instead of ${info.context.checkedState.brokenState}")
0 commit comments