Confirmed that it's broken in beta4, but at least in the debian beta5 package clicking on a right arrow inserts '\textrightarrow' so this works again. The preview tooltips work again too.
Confirmed that it's broken in beta4, but at least in the debian beta5 package clicking on a right arrow inserts '\textrightarrow' so this works again. The preview tooltips work again too.