Closed juanrein closed 1 year ago
added symbol in visual field gets selected if mouse is moved after mousedown but before mouseup when pressing symbol button. Happens for example for \int button
added mouseup
added symbol in visual field gets selected if mouse is moved after mousedown but before mouseup when pressing symbol button. Happens for example for \int button