Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Send text markers via DIAM compact format #2922

Closed
reckart opened this issue Mar 29, 2022 · 0 comments
Closed

Send text markers via DIAM compact format #2922

reckart opened this issue Mar 29, 2022 · 0 comments
Assignees
@reckart
Labels
⭐️ Enhancement New feature or request Module: JavaScript Editor API
Projects
Kanban
Milestone
24.0

Comments

@reckart
Copy link
Member

reckart commented Mar 29, 2022

Is your feature request related to a problem? Please describe.
DIAM compact-based editors should be able to highlight search matches.

Describe the solution you'd like
Send text markers via DIAM compact format.
@reckart reckart added this to the 24.0 milestone Mar 29, 2022
@reckart reckart self-assigned this Mar 29, 2022
@reckart reckart added this to 🔖 To do in Kanban via automation Mar 29, 2022
reckart added a commit that referenced this issue Mar 29, 2022
@reckart
#2922 - Send text markers via DIAM compact format
6993aa6 
- Allow sending text markers to editor via compact protocol
- Fix using the window offsets from the render request when rendering text highlights, in particular in the search and active learning sidebars
-
reckart added a commit that referenced this issue Mar 30, 2022
@reckart
Merge pull request #2923 from inception-project/feature/2922-Send-tex…
de8a262 
…t-markers-via-DIAM-compact-format

#2922 - Send text markers via DIAM compact format
@reckart reckart closed this as completed Mar 30, 2022
Kanban automation moved this from 🔖 To do to 🍹 Done Mar 30, 2022
reckart added a commit that referenced this issue Apr 2, 2022
@reckart
Merge branch 'feature/2872-Allow-calling-a-recommender-for-the-curren…
40540b2 
…t-view' into feature/2869-Hugging-Face-Recommender-Prototype

* feature/2872-Allow-calling-a-recommender-for-the-current-view:
  [maven-release-plugin] prepare for next development iteration
  [maven-release-plugin] prepare release inception-23.0
  #2931 - Use Maven properties to control some JS dependencies
  No issue. Update some JS dependencies.
  #2781 - Upgrade dependencies
  #2781 - Upgrade dependencies
  No issue. Improve error message when loading annotations via DIAM.
  #2924 - Filling in slots via DIAM-based editors does not work
  #2922 - Send text markers via DIAM compact format
  #2920 - Send annotation markers via DIAM compact format
  #2918 - Allow deleting an annotation via DIAM
  #2833 - Enhance (external) editors API
  #2781 - Upgrade dependencies (23.0)
  #2781 - Upgrade dependencies (23.0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@reckart reckart

Labels
⭐️ Enhancement New feature or request Module: JavaScript Editor API
Projects
Kanban
  
🍹 Done
Milestone
24.0
Development

No branches or pull requests
1 participant
@reckart