|
@@ -43,24 +43,21 @@ export const reviewTooltip = (): Extension => {
|
|
|
return [
|
|
return [
|
|
|
reviewTooltipTheme,
|
|
reviewTooltipTheme,
|
|
|
reviewTooltipStateField,
|
|
reviewTooltipStateField,
|
|
|
|
|
+ EditorView.updateListener.of(update => {
|
|
|
|
|
+ if (update.selectionSet && !update.state.selection.main.empty) {
|
|
|
|
|
+ update.view.dispatch({
|
|
|
|
|
+ effects: textSelectedEffect.of(update.view),
|
|
|
|
|
+ })
|
|
|
|
|
+ } else if (
|
|
|
|
|
+ !update.startState.selection.main.empty &&
|
|
|
|
|
+ update.state.selection.main.empty
|
|
|
|
|
+ ) {
|
|
|
|
|
+ update.view.dispatch({
|
|
|
|
|
+ effects: removeReviewPanelTooltipEffect.of(null),
|
|
|
|
|
+ })
|
|
|
|
|
+ }
|
|
|
|
|
+ }),
|
|
|
EditorView.domEventHandlers({
|
|
EditorView.domEventHandlers({
|
|
|
- mouseup(event, view) {
|
|
|
|
|
- if (!view.state.selection.main.empty) {
|
|
|
|
|
- view.dispatch({
|
|
|
|
|
- effects: textSelectedEffect.of(view),
|
|
|
|
|
- })
|
|
|
|
|
- }
|
|
|
|
|
- },
|
|
|
|
|
- keyup(event, view) {
|
|
|
|
|
- if (
|
|
|
|
|
- (event.shiftKey || event.key === 'Meta') &&
|
|
|
|
|
- !view.state.selection.main.empty
|
|
|
|
|
- ) {
|
|
|
|
|
- view.dispatch({
|
|
|
|
|
- effects: textSelectedEffect.of(view),
|
|
|
|
|
- })
|
|
|
|
|
- }
|
|
|
|
|
- },
|
|
|
|
|
mousedown(event, view) {
|
|
mousedown(event, view) {
|
|
|
view.dispatch({
|
|
view.dispatch({
|
|
|
effects: removeReviewPanelTooltipEffect.of(null),
|
|
effects: removeReviewPanelTooltipEffect.of(null),
|