Should be yes. ``addLineWidget`` is still an operation. In endOperation ``updateDisplay`` is still called to patch things up. This might have been here previously to deal with explicit height.